Belardinelli, Francesco

31 publications

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

NeurIPS 2024 Measuring Goal-Directedness Matt MacDermott, James Fox, Francesco Belardinelli, Tom Everitt

ICMLW 2024 Measuring Goal-Directedness Matt MacDermott, James Fox, Francesco Belardinelli, Tom Everitt

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

AAAI 2023 Automatically Verifying Expressive Epistemic Properties of Programs Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

IJCAI 2023 Beyond Strict Competition: Approximate Convergence of Multi-Agent Q-Learning Dynamics Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras

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

IJCAI 2023 Scalable Verification of Strategy Logic Through Three-Valued Abstraction Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano

ICMLW 2023 Stability of Multi-Agent Learning: Convergence in Network Games with Many Players Aamal Hussain, Dan Leonte, Francesco Belardinelli, Georgios Piliouras

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

ICLRW 2022 Agent, Do You See It Now? Systematic Generalisation in Deep Reinforcement Learning Borja G. León, Murray Shanahan, Francesco Belardinelli

JAIR 2022 Approximating Perfect Recall When Model Checking Strategic Abilities: Theory and Applications Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu

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

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

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

AAAI 2020 Model Checking Temporal Epistemic Logic Under Bounded Recall Francesco Belardinelli, Alessio Lomuscio, Emily Yu

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

IJCAI 2019 Strategy Logic with Simple Goals: Tractable Reasoning About Strategies Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano

IJCAI 2018 Alternating-Time Temporal Logic on Finite Traces Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

IJCAI 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

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

IJCAI 2016 On Logics of Strategic Ability Based on Propositional Control Francesco Belardinelli, Andreas Herzig

IJCAI 2015 Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results Francesco Belardinelli, Wiebe van der Hoek

IJCAI 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

JAIR 2014 Verification of Agent-Based Artifact Systems Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

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

JAIR 2012 Interactions Between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results Francesco Belardinelli, Alessio Lomuscio

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