Algebraic Aspects of Cut Elimination. - Francesco Belardinelli; Peter Jipsen; Hiroakira Ono (Stud Logica, 2004)

A quantified epistemic logic for reasoning about multiagent systems. - Francesco Belardinelli; Alessio Lomuscio (AAMAS, 2007)

A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. - Francesco Belardinelli; Alessio Lomuscio (CLIMA, 2007)

A Complete First-Order Logic of Knowledge and Time. - Francesco Belardinelli; Alessio Lomuscio (KR, 2008)

Quantified epistemic logics for reasoning about knowledge in multi-agent systems. - Francesco Belardinelli; Alessio Lomuscio (Artif. Intell., 2009)

Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. - Francesco Belardinelli; Alessio Lomuscio (KR, 2010)

Verification of Deployed Artifact Systems via Data Abstraction. - Francesco Belardinelli; Alessio Lomuscio; Fabio Patrizi (ICSOC, 2011)

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. - Francesco Belardinelli; Alessio Lomuscio; Fabio Patrizi (IJCAI, 2011)

Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. - Francesco Belardinelli; Andrew V. Jones; Alessio Lomuscio (Fundam. Informaticae, 2011)

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. - Francesco Belardinelli; Alessio Lomuscio (Fundam. Informaticae, 2011)

Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. - Francesco Belardinelli; Alessio Lomuscio; Fabio Patrizi (ICSOC, 2012)

An Abstraction Technique for the Verification of Artifact-Centric Systems. - Francesco Belardinelli; Alessio Lomuscio; Fabio Patrizi (KR, 2012)

Automated Verification of Quantum Protocols using MCMAS - Francesco Belardinelli; Pavel Gonzalez; Alessio Lomuscio (QAPL, 2012)

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. - Francesco Belardinelli; Alessio Lomuscio (J. Artif. Intell. Res., 2012)

Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. - Francesco Belardinelli; Alessio Lomuscio (IJCAI, 2013)

Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction. - Francesco Belardinelli (AAMAS, 2014)

Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. - Francesco Belardinelli (ECAI, 2014)

Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux. - Francesco Belardinelli (KR, 2014)

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. - Francesco Belardinelli (SR, 2014)

Verification of Agent-Based Artifact Systems. - Francesco Belardinelli; Alessio Lomuscio; Fabio Patrizi (J. Artif. Intell. Res., 2014)

On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks. - Francesco Belardinelli; Davide Grossi (AAMAS, 2015)

Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. - Francesco Belardinelli; Davide Grossi; Alessio Lomuscio (IJCAI, 2015)

Formal Analysis of Dialogues on Infinite Argumentation Frameworks. - Francesco Belardinelli; Davide Grossi; Nicolas Maudet (IJCAI, 2015)

Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. - Francesco Belardinelli; Wiebe van der Hoek (IJCAI, 2015)

A Semantical Analysis of Second-Order Propositional Modal Logic. - Francesco Belardinelli; Wiebe van der Hoek (AAAI, 2016)

Second-order Propositional Announcement Logic. - Francesco Belardinelli; Hans van Ditmarsch; Wiebe van der Hoek (AAMAS, 2016)

Abstraction-Based Verification of Infinite-State Reactive Modules. - Francesco Belardinelli; Alessio Lomuscio (ECAI, 2016)

Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. - Francesco Belardinelli; Alessio Lomuscio; Jakub Michaliszyn (ECAI, 2016)

On Logics of Strategic Ability Based on Propositional Control. - Francesco Belardinelli; Andreas Herzig (IJCAI, 2016)

A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. - Francesco Belardinelli; Alessio Lomuscio (JELIA, 2016)

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. - Francesco Belardinelli; Rodica Condurache; Catalin Dima; Wojciech Jamroga; Andrew V. Jones (AAMAS, 2017)

Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information. - Francesco Belardinelli; Alessio Lomuscio (AAMAS, 2017)

Verification of Multi-agent Systems with Imperfect Information and Public Actions. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (AAMAS, 2017)

Dynamic Logic for Data-aware Systems: Decidability Results. - Francesco Belardinelli; Andreas Herzig (IJCAI, 2017)

Parameterised Verification of Data-aware Multi-Agent Systems. - Francesco Belardinelli; Panagiotis Kouvaros; Alessio Lomuscio (IJCAI, 2017)

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (IJCAI, 2017)

A Logic for Global and Local Announcements. - Francesco Belardinelli; Hans van Ditmarsch; Wiebe van der Hoek (TARK, 2017)

Relaxing Exclusive Control in Boolean Games. - Francesco Belardinelli; Umberto Grandi; Andreas Herzig; Dominique Longin; Emiliano Lorini; Arianna Novaro; Laurent Perrussel (TARK, 2017)

Decidable Verification of Multi-agent Systems with Bounded Private Actions. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (AAMAS, 2018)

Alternating-time Temporal Logic on Finite Traces. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (IJCAI, 2018)

Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. - Francesco Belardinelli; Catalin Dima; Aniello Murano (KR, 2018)

Approximating Perfect Recall When Model Checking Strategic Abilities. - Francesco Belardinelli; Alessio Lomuscio; Vadim Malvone (KR, 2018)

Second-order propositional modal logic: Expressiveness and completeness results. - Francesco Belardinelli; Wiebe van der Hoek; Louwe B. Kuijer (Artif. Intell., 2018)

Database Aggregation. - Francesco Belardinelli; Umberto Grandi (CoRR, 2018)

An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. - Francesco Belardinelli; Alessio Lomuscio; Vadim Malvone (AAAI, 2019)

Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. - Francesco Belardinelli; Ioana Boureanu; Catalin Dima; Vadim Malvone (AAMAS, 2019)

Resource-bounded ATL: the Quest for Tractable Fragments. - Francesco Belardinelli; Stéphane Demri (AAMAS, 2019)

A Social Choice Theoretic Perspective on Database Aggregation. - Francesco Belardinelli; Umberto Grandi (AAMAS, 2019)

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. - Francesco Belardinelli; Wojciech Jamroga; Damian Kurpiewski; Vadim Malvone; Aniello Murano (IJCAI, 2019)

Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (PRIMA, 2019)

Decidable Verification of Agent-Based Data-Aware Systems. - Francesco Belardinelli; Vadim Malvone (PRIMA, 2019)

Model Checking ATL* on vCGS. - Francesco Belardinelli; Catalin Dima; Ioana Boureanu; Vadim Malvone (CoRR, 2019)

Social Choice Methods for Database Aggregation. - Francesco Belardinelli; Umberto Grandi (TARK, 2019)

Model Checking Temporal Epistemic Logic under Bounded Recall. - Francesco Belardinelli; Alessio Lomuscio; Emily Yu (AAAI, 2020)

Reasoning with a Bounded Number of Resources in ATL+. - Francesco Belardinelli; Stéphane Demri (ECAI, 2020)

Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment. - Francesco Belardinelli; Vadim Malvone (ECAI, 2020)

Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning. - Borja G. León; Francesco Belardinelli (ECAI, 2020)

A Three-valued Approach to Strategic Abilities under Imperfect Information. - Francesco Belardinelli; Vadim Malvone (KR, 2020)

A Hennessy-Milner Theorem for ATL with Imperfect Information. - Francesco Belardinelli; Catalin Dima; Vadim Malvone; Ferucio Laurentiu Tiplea (LICS, 2020)

Formal verification of debates in argumentation theory. - Ria Jha; Francesco Belardinelli; Francesca Toni (SAC, 2020)

Verification of multi-agent systems with public actions against strategy logic. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (Artif. Intell., 2020)

Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning. - Borja G. León; Murray Shanahan; Francesco Belardinelli (CoRR, 2020)

Aggregating Bipolar Opinions. - Stefan Lauren; Francesco Belardinelli; Francesca Toni (AAMAS, 2021)

An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors. - Pierre El Mqirmi; Francesco Belardinelli; Borja G. León (AAMAS, 2021)

Evolutionary reinforcement learning for sparse rewards. - Shibei Zhu; Francesco Belardinelli; Borja Gonzalez León (GECCO Companion, 2021)

Reasoning About Agents That May Know Other Agents' Strategies. - Francesco Belardinelli; Sophia Knight; Alessio Lomuscio; Bastien Maubert; Aniello Murano; Sasha Rubin (IJCAI, 2021)

Strategic reasoning with a bounded number of resources: The quest for tractability. - Francesco Belardinelli; Stéphane Demri (Artif. Intell., 2021)

An Abstraction-based Method to Verify Multi-Agent Deep Reinforcement-Learning Behaviours. - Pierre El Mqirmi; Francesco Belardinelli; Borja G. León (CoRR, 2021)

Aggregating Bipolar Opinions (With Appendix). - Stefan Lauren; Francesco Belardinelli; Francesca Toni (CoRR, 2021)

Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. - Francesco Belardinelli; Rodica Condurache; Catalin Dima; Wojciech Jamroga; Michal Knapik (Inf. Comput., 2021)

Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding. - Chloe He 002; Borja G. León; Francesco Belardinelli (SafeAI@AAAI, 2022)

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. - Francesco Belardinelli; Wojtek Jamroga; Vadim Malvone; Munyque Mittelmann; Aniello Murano; Laurent Perrussel (AAMAS, 2022)

On Agent Incentives to Manipulate Human Feedback in Multi-Agent Reward Learning Scenarios. - Francis Rhys Ward; Francesca Toni; Francesco Belardinelli (AAMAS, 2022)

Enabling Markovian Representations under Imperfect Information. - Francesco Belardinelli; Borja G. León; Vadim Malvone (ICAART (2), 2022)

A Causal Perspective on AI Deception in Games. - Francis Rhys Ward; Francesca Toni; Francesco Belardinelli (ICLP Workshops, 2022)

In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications. - Borja G. León; Murray Shanahan; Francesco Belardinelli (ICLR, 2022)

A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic. - Rui Li; Francesco Belardinelli (CoRR, 2022)

Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Solofomampionona Fortunat Rajaona (CoRR, 2022)

Argumentative Reward Learning: Reasoning About Human Preferences. - Francis Rhys Ward; Francesco Belardinelli; Francesca Toni (CoRR, 2022)

Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. - Francesco Belardinelli; Alessio Lomuscio; Vadim Malvone; Emily Yu (J. Artif. Intell. Res., 2022)

Automatically Verifying Expressive Epistemic Properties of Programs. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Fortunat Rajaona (AAAI, 2023)

Asymptotic Convergence and Performance of Multi-Agent Q-learning Dynamics. - Aamal Abbas Hussain; Francesco Belardinelli; Georgios Piliouras (AAMAS, 2023)

Defining Deception in Structural Causal Games. - Francis Rhys Ward; Francesca Toni; Francesco Belardinelli (AAMAS, 2023)

Approximate Model-Based Shielding for Safe Reinforcement Learning. - Alexander W. Goodall; Francesco Belardinelli (ECAI, 2023)

Program Semantics and Verification Technique for AI-Centred Programs. - Solofomampionona Fortunat Rajaona; Ioana Boureanu; Vadim Malvone; Francesco Belardinelli (FM, 2023)

The Impact of Exploration on Convergence and Performance of Multi-Agent Q-Learning Dynamics. - Aamal Abbas Hussain; Francesco Belardinelli; Dario Paccagnan (ICML, 2023)

Scalable Verification of Strategy Logic through Three-Valued Abstraction. - Francesco Belardinelli; Angelo Ferrando 001; Wojciech Jamroga; Vadim Malvone; Aniello Murano (IJCAI, 2023)

Beyond Strict Competition: Approximate Convergence of Multi-agent Q-Learning Dynamics. - Aamal Abbas Hussain; Francesco Belardinelli; Georgios Piliouras (IJCAI, 2023)

Strategic Abilities of Forgetful Agents in Stochastic Environments. - Francesco Belardinelli; Wojciech Jamroga; Munyque Mittelmann; Aniello Murano (KR, 2023)

Honesty Is the Best Policy: Defining and Mitigating AI Deception. - Francis Ward; Francesca Toni; Francesco Belardinelli; Tom Everitt (NeurIPS, 2023)

RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. - Hisham Unniyankal; Francesco Belardinelli; Angelo Ferrando 001; Vadim Malvone (WOA, 2023)

Approximate Shielding of Atari Agents for Safe Exploration. - Alexander W. Goodall; Francesco Belardinelli (CoRR, 2023)

Characterising Decision Theories with Mechanised Causal Graphs. - Matt MacDermott; Tom Everitt; Francesco Belardinelli (CoRR, 2023)

Stability of Multi-Agent Learning: Convergence in Network Games with Many Players. - Aamal Abbas Hussain; Dan Leonte; Francesco Belardinelli; Georgios Piliouras (CoRR, 2023)

3vLTL: A Tool to Generate Automata for Three-valued LTL. - Francesco Belardinelli; Angelo Ferrando 001; Vadim Malvone (FMAS@iFM, 2023)

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. - Francesco Belardinelli; Angelo Ferrando 001; Vadim Malvone (Artif. Intell., 2023)

Stability of Multi-Agent Learning in Competitive Networks: Delaying the Onset of Chaos. - Aamal Abbas Hussain; Francesco Belardinelli (AAAI, 2024)

Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. - Francesco Belardinelli; Wojtek Jamroga; Munyque Mittelmann; Aniello Murano (AAMAS, 2024)

Leveraging Approximate Model-based Shielding for Probabilistic Safety Guarantees in Continuous Environments. - Alexander W. Goodall; Francesco Belardinelli (AAMAS, 2024)

On the Stability of Learning in Network Games with Many Players. - Aamal Abbas Hussain; Dan Leonte; Francesco Belardinelli; Georgios Piliouras (AAMAS, 2024)

The Reasons that Agents Act: Intention and Instrumental Goals. - Francis Rhys Ward; Matt MacDermott; Francesco Belardinelli; Francesca Toni; Tom Everitt (AAMAS, 2024)

Measuring Goal-Directedness. - Matt MacDermott; James Fox; Francesco Belardinelli; Tom Everitt (NeurIPS, 2024)

Probabilistic Shielding for Safe Reinforcement Learning. - Edwin Hamel-De le Court; Francesco Belardinelli; Alexander W. Goodall (AAAI, 2025)

LUNAR: A Runtime Verification Tool for Anomaly Detection in Gas Networks. - Julius Gasson; Francesco Belardinelli (AAMAS, 2025)

Explainable Reinforcement Learning for Formula One Race Strategy. - Devin Thomas; Junqi Jiang; Avinash Kori; Aaron Russo; Steffen Winkler; Stuart Sale; Joseph McMillan; Francesco Belardinelli; Antonio Rago 001 (SAC, 2025)

An SMT-Based Approach to the Verification of Knowledge-Based Programs. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Fortunat Rajaona (Formal Aspects Comput., 2025)

Model-checking Strategic Abilities in Information-sharing Systems. - Francesco Belardinelli; Ioana Boureanu; Catalin Dima; Vadim Malvone (ACM Trans. Comput. Log., 2025)

Multi-Agent Q-Learning Dynamics in Random Networks: Convergence due to Exploration and Sparsity. - Aamal Abbas Hussain; Dan Leonte; Francesco Belardinelli; Raphaël Huser; Dario Paccagnan (CoRR, 2025)

Aggregating bipolar opinions through bipolar assumption-based argumentation. - Charles Dickie; Stefan Lauren; Francesco Belardinelli; Antonio Rago 001; Francesca Toni (Auton. Agents Multi Agent Syst., 2025)