| 2026 | AAAI | Expressive Temporal Specifications for Reward Monitoring. | Omar Adalat, Francesco Belardinelli |
| 2026 | AAAI | Behaviour Policy Optimization: Provably Lower Variance Return Estimates for Off-Policy Reinforcement Learning. | Alexander W. Goodall, Edwin Hamel-De le Court, Francesco Belardinelli |
| 2026 | KR | SC²: Safe Control via Shielding for CPCTL Specifications. | Edwin Hamel-De le Court, Gaspard Ohlmann, Francesco Belardinelli |
| 2025 | AAAI | Probabilistic Shielding for Safe Reinforcement Learning. | Edwin Hamel-De le Court, Francesco Belardinelli, Alexander W. Goodall |
| 2025 | PRIMA | Expressive Reward Synthesis with the Runtime Monitoring Language. | Daniel Donnelly, Francesco Belardinelli |
| 2025 | SAC | 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 |
| 2024 | AAAI | Stability of Multi-Agent Learning in Competitive Networks: Delaying the Onset of Chaos. | Aamal Abbas Hussain, Francesco Belardinelli |
| 2023 | AAAI | Automatically Verifying Expressive Epistemic Properties of Programs. | Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona |
| 2023 | ECAI | Approximate Model-Based Shielding for Safe Reinforcement Learning. | Alexander W. Goodall, Francesco Belardinelli |
| 2023 | FM | Program Semantics and Verification Technique for AI-Centred Programs. | Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli |
| 2023 | ICML | The Impact of Exploration on Convergence and Performance of Multi-Agent Q-Learning Dynamics. | Aamal Abbas Hussain, Francesco Belardinelli, Dario Paccagnan |
| 2023 | IJCAI | Scalable Verification of Strategy Logic through Three-Valued Abstraction. | Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano |
| 2023 | IJCAI | Beyond Strict Competition: Approximate Convergence of Multi-agent Q-Learning Dynamics. | Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras |
| 2023 | KR | Strategic Abilities of Forgetful Agents in Stochastic Environments. | Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano |
| 2022 | AAAI | Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding. | Chloe He, Borja G. Len, Francesco Belardinelli |
| 2022 | ICAART | Enabling Markovian Representations under Imperfect Information. | Francesco Belardinelli, Borja G. Len, Vadim Malvone |
| 2022 | ICLP | A Causal Perspective on AI Deception in Games. | Francis Rhys Ward, Francesca Toni, Francesco Belardinelli |
| 2022 | ICLR | In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications. | Borja G. Len, Murray Shanahan, Francesco Belardinelli |
| 2022 | IJCAI | A causal perspective on AI deception in games. | Francis Rhys Ward, Francesco Belardinelli, Francesca Toni |
| 2021 | GECCO | Evolutionary reinforcement learning for sparse rewards. | Shibei Zhu, Francesco Belardinelli, Borja Gonzalez Len |
| 2021 | IJCAI | Reasoning About Agents That May Know Other Agents' Strategies. | Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2020 | AAAI | Model Checking Temporal Epistemic Logic under Bounded Recall. | Francesco Belardinelli, Alessio Lomuscio, Emily Yu |
| 2020 | ECAI | Reasoning with a Bounded Number of Resources in ATL+. | Francesco Belardinelli, Stphane Demri |
| 2020 | ECAI | Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment. | Francesco Belardinelli, Vadim Malvone |
| 2020 | ECAI | Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning. | Borja G. Len, Francesco Belardinelli |
| 2020 | KR | A Three-valued Approach to Strategic Abilities under Imperfect Information. | Francesco Belardinelli, Vadim Malvone |
| 2020 | LICS | A Hennessy-Milner Theorem for ATL with Imperfect Information. | Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea |
| 2020 | SAC | Formal verification of debates in argumentation theory. | Ria Jha, Francesco Belardinelli, Francesca Toni |
| 2019 | AAAI | An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. | Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
| 2019 | IJCAI | Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. | Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |
| 2019 | PRIMA | Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2019 | PRIMA | Decidable Verification of Agent-Based Data-Aware Systems. | Francesco Belardinelli, Vadim Malvone |
| 2018 | IJCAI | Alternating-time Temporal Logic on Finite Traces. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2018 | KR | Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. | Francesco Belardinelli, Catalin Dima, Aniello Murano |
| 2018 | KR | Approximating Perfect Recall When Model Checking Strategic Abilities. | Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone |
| 2017 | IJCAI | Dynamic Logic for Data-aware Systems: Decidability Results. | Francesco Belardinelli, Andreas Herzig |
| 2017 | IJCAI | Parameterised Verification of Data-aware Multi-Agent Systems. | Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio |
| 2017 | IJCAI | Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2016 | AAAI | A Semantical Analysis of Second-Order Propositional Modal Logic. | Francesco Belardinelli, Wiebe van der Hoek |
| 2016 | ECAI | Abstraction-Based Verification of Infinite-State Reactive Modules. | Francesco Belardinelli, Alessio Lomuscio |
| 2016 | ECAI | Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. | Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn |
| 2016 | IJCAI | On Logics of Strategic Ability Based on Propositional Control. | Francesco Belardinelli, Andreas Herzig |
| 2016 | JELIA | A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. | Francesco Belardinelli, Alessio Lomuscio |
| 2015 | IJCAI | Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. | Francesco Belardinelli, Davide Grossi, Alessio Lomuscio |
| 2015 | IJCAI | Formal Analysis of Dialogues on Infinite Argumentation Frameworks. | Francesco Belardinelli, Davide Grossi, Nicolas Maudet |
| 2015 | IJCAI | Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. | Francesco Belardinelli, Wiebe van der Hoek |
| 2014 | ECAI | Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. | Francesco Belardinelli |
| 2014 | KR | Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux. | Francesco Belardinelli |
| 2013 | IJCAI | Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. | Francesco Belardinelli, Alessio Lomuscio |
| 2012 | ICSOC | Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2012 | KR | An Abstraction Technique for the Verification of Artifact-Centric Systems. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2011 | IJCAI | A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2011 | ICSOC | Verification of Deployed Artifact Systems via Data Abstraction. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2010 | KR | Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. | Francesco Belardinelli, Alessio Lomuscio |
| 2009 | WoLLIC | First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. | Francesco Belardinelli, Alessio Lomuscio |
| 2008 | KR | A Complete First-Order Logic of Knowledge and Time. | Francesco Belardinelli, Alessio Lomuscio |