Verification of Agent-Based Artifact Systems von Belardinelli, F., Lomuscio, A., Patrizi, F.

Volltext

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results von Belardinelli, F., Lomuscio, A.

Volltext

Quantified epistemic logics for reasoning about knowledge in multi-agent systems von Belardinelli, F., Lomuscio, A.

Volltext

Strategic reasoning with a bounded number of resources: the quest for tractability von Belardinelli, F, Demri, S

Volltext

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information von Belardinelli, F, Ferrando, A, Malvone, V

Volltext

Aggregating bipolar opinions through bipolar assumption-based argumentation von Dickie, C, Lauren, S, Belardinelli, F, Rago, A, Toni, F

Volltext

Reasoning with a bounded number of resources in ATL von Belardinelli, F, Demri, S

Volltext

Verifying strategic abilities in multi-agent systems via first-order entailment von Belardinelli, F, Malvone, V

Volltext

Approximating perfect recall when model checking strategic abilities: theory and applications von Belardinelli, F, Lomuscio, A, Malvone, V, Yu, E

Volltext

3vLTL: a tool to generate automata for three-valued LTL von Belardinelli, F, Ferrando, A, Malvone, V

Volltext

Beyond strict competition: approximate convergence of multi-agent Q-learning dynamics von Hussain, A, Belardinelli, F, Piliouras, G

Volltext

Verification of multi-agent systems with public actions against strategy logic von Belardinelli, F, Lomuscio, A, Murano, A, Rubin, S

Volltext

Social choice methods for database aggregation von Belardinelli, F, Grandi, U

Volltext

Automated Verification of Quantum Protocols using MCMAS von Belardinelli, F., Gonzalez, P., Lomuscio, A.

Volltext

Second-order propositional modal logic: expressiveness and completeness results von Belardinelli, F, Van der Hoek, W, Kuijer, LB

Volltext

Scalable verification of strategy logic through three-valued abstraction von Belardinelli, F, Ferrando, A, Jamroga, W, Malvone, V, Murano, A

Volltext

Program semantics and verification technique for AI-centred programs von Rajaona, F, Boureanu, I, Malvone, V, Belardinelli, F

Volltext

Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol von Belardinelli, F, Condurache, R, Dima, C, Jamroga, W, Knapik, M

Volltext

Approximate shielding of Atari agents for safe exploration von Goodall, A, Belardinelli, F

Volltext bestellen

Extended Markov Games to learn multiple tasks in multi-agent reinforcement learning von Leon, BG, Belardinelli, F

Volltext