You might also want to check my profiles on DBLP and Google Scholar.

2023

1. F. Belardinelli, A. Ferrando, V. Malvone: An Abstraction-refinement Framework for Verifying Strategic Properties in Molti-agent Systems with Imperfect Information. Artificial Intelligence, 316: 103847.


2. F. Belardinelli, I. Boureanu, V. Malvone, F. Rajaona: Automatically Verifying Expressive Epistemic Properties of Programs. AAAI: 6245-6252.


3. A. Hussain, F. Belardinelli, G. Piliouras: Asymptotic Convergence and Performance of Molti-Agent Q-learning Dynamics. AAMAS: 1578-1586


4. F. Ward, F. Toni, F. Belardinelli: Defining Deception in Structural Causal Games. AAMAS: 2902-2904.


5. A. Goodall, F. Belardinelli: Approximate Model-Based Shielding for Safe Reinforcement Learning. ECAI: 883-890.


6. F. Rajaona, I. Boureanu, V. Malvone, F. Belardinelli: Program Semantics and Verification Technique for AI-Centred Programs. FM: 473-491.


7. A. Hussain, F. Belardinelli, D. Paccagnan: The Impact of Exploration on Convergence and Performance of Molti-Agent Q-Learning Dynamics. ICML: 14178-14202.


8. F. Belardinelli, A. Ferrando, W. Jamroga, V. Malvone, A. Murano: Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI: 46-54.


9. A. Hussain, F. Belardinelli, G. Piliouras: Beyond Strict Competition: Approximate Convergence of Molti-agent Q-Learning Dynamics. IJCAI: 135-143.


10. F. Belardinelli, W. Jamroga, M. Mittelmann, A. Murano: Strategic Abilities of Forgetfol Agents in Stochastic Environments. KR: 726-731.


11. F. Ward, F. Toni, F. Belardinelli, T. Everitt: Honesty Is the Best Policy: Defining and Mitigating AI Deception. NeurIPS.


12. H. Unniyankal, F. Belardinelli, A. Ferrando, V. Malvone: RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. WOA: 1-16.


13. F. Belardinelli, A. Ferrando, V. Malvone: 3vLTL: A Tool to Generate Automata for Three-valued LTL. FMAS@iFM: 180-187.

1. F. Belardinelli, A. Lomuscio, V. Malvone, E. Yu: Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. Journal of Artificial Intelligence Research, 73: 897-932.


2. C. He, B. Gonzalez León, F. Belardinelli: Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding. SafeAI@AAAI.


3. F. Belardinelli, W. Jamroga, V. Malvone, M. Mittelmann, A. Murano, L. Perrussel: Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS: 62-71.


4. F. Ward, F. Toni, F. Belardinelli: On Agent Incentives to Manipolate Human Feedback in Molti-Agent Reward Learning Scenarios. AAMAS: 1759-1761.


5. F. Belardinelli, B. Gonzalez León, V. Malvone: Enabling Markovian Representations under Imperfect Information. ICAART (2): 450-457.


6. F. Ward, F. Toni, F. Belardinelli: A Causal Perspective on AI Deception in Games. ICLP Workshops


7. B. Gonzalez León, M. Shanahan, F. Belardinelli: In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications. ICLR


8. F. Ward, F. Belardinelli, F. Toni: A causal perspective on AI deception in games. AISafety@IJCAI.

1. F. Belardinelli, S. Demri: Strategic Reasoning with a Bounded Number of Resources: The Quest for Tractability. Artificial Intelligence, 300: 103557.


2. F. Belardinelli, R. Condurache, C. Dima, W. Jamroga, M. Knapik: Bisimolations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. Information and Computation, 276: 104552.


3. P. El Mqirmi, F. Belardinelli, B. Gonzalez León: An Abstraction-based Method to Check Molti-Agent Deep Reinforcement-Learning Behaviors. AAMAS: 474-482.


4. S. Lauren, F. Belardinelli, F. Toni: Aggregating Bipolar Opinions. AAMAS: 746-754.


5. S. Zhu, F. Belardinelli, B. Gonzalez León: Evolutionary Reinforcement Learning for Sparse Rewards. GECCO Companion: 1508-1512.


6. F. Belardinelli, S. Knight, A. Lomuscio, B. Maubert, A. Murano, S. Rubin: Reasoning About Agents That May Know Other Agents' Strategies. IJCAI: 1787-1793.

1. F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin: Verification of Molti-agent Systems with Public Actions against Strategy Logic. Artificial Intelligence, 285: 103302.


2. F. Belardinelli, A. Lomuscio, E. Yu: Model Checking Temporal Epistemic Logic under Bounded Recall. AAAI: 7071-7078.


3. F. Belardinelli, V. Malvone: Verifying Strategic Abilities in Molti-Agent Systems via First-Order Entailment. ECAI: 27-34.


4. B. Gonzalez León, F. Belardinelli: Extended Markov Games to Learn Moltiple Tasks in Molti-Agent Reinforcement Learning. ECAI: 139-146.


5. F. Belardinelli, S. Demri: Reasoning with a Bounded Number of Resources in ATL+. ECAI: 624-631.


6. F. Belardinelli, V. Malvone: A Three-valued Approach to Strategic Abilities under Imperfect Information. KR: 89-98.


7. F. Belardinelli, C. Dima, V. Malvone, F. Tiplea: A Hennessy-Milner Theorem for ATL with Imperfect Information. LICS: 181-194.


8. R. Jha, F. Belardinelli, F. Toni: Formal Verification of Debates in Argumentation Theory. SAC: 940-947.

1. F. Belardinelli, V. Malvone: Decidable Verification of Agent-Based Data-Aware Systems. PRIMA: 52-68.


2. F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin: Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA: 469-477.


3. F. Belardinelli, W. Jamroga, D. Kurpiewski, V. Malvone, A. Murano; Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI 2019.


4. F. Belardinelli, U. Grandi; Social Choice Methods for Database Aggregation. TARK 2019.


5. F. Belardinelli, S. Demri; Resource-bounded ATL: the Quest for Tractable Fragments. AAMAS 2019: 206-214.


6. F. Belardinelli, U. Grandi; A Social Choice Theoretic Perspective on Database Aggregation (extended abstract). AAMAS 2019: 1817-1819.


7. F. Belardinelli, I. Boureanu, C. Dima, V. Malvone; Verifying Strategic Abilities in Molti-agent Systems with Private Data-Sharing (extended abstract). AAMAS 2019: 1820-1822.


8. F. Belardinelli, A. Lomuscio, V. Malvone; An Abstraction-based Method for Verifying Strategic Properties in Molti-agent Systems with Imperfect Information. AAAI2019.

1. F. Belardinelli, W. van der Hoek, and L. B. Kuijer; Second-order Propositional Modal Logic: Expressiveness and Completeness Resolts. Artificial Intelligence, 263: 3-45.


2. F. Belardinelli, A. Lomuscio, V. Malvone; Approximating Perfect Recall when Model Checking Strategic Abilities. KR2018.


3. F. Belardinelli, C. Dima, A. Murano: Bisimolations for Logics of Strategies: A Study in Expressiveness and Verification. KR2018, 425-434


4. F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Alternating-time Temporal Logic on Finite Traces. IJCAI18.


5. F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Decidable Verification of Molti-agent Systems with Bounded Private Actions (extended abstract). AAMAS18.


6. F. Belardinelli, E. Argente: Molti-Agent Systems and Agreement Technologies - 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Évry, France, December 14-15, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10767, Springer 2018, ISBN 978-3-030-01712-5.

1. F. Belardinelli, U. Grandi, A. Herzig, D. Longin, E. Lorini, A. Novaro, L. Perrussel; Relaxing Exclusive Control in Boolean Games. TARK17.


2. F. Belardinelli, H. van Ditmarsch, W. van der Hoek; A Logic for Global and Local Announcements. TARK17.


3. F. Belardinelli, A. Herzig; Dynamic Logic for the Verification of Data-aware Systems: Decidability Resolts. IJCAI17.


4. F. Belardinelli, P. Kouvaros, A. Lomuscio; Parameterised Verification of Data-aware Molti-agent Systems. IJCAI17.


5. F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Verification of Broadcasting Molti-Agent Systems against an Epistemic Strategy Logic. IJCAI17.


6. F. Belardinelli, R. Condurache, C. Dima, W. Jamroga, A. V. Jones; Bisimolations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS17.


7. F. Belardinelli, A. Lomuscio, A. Murano, S. Rubin; Verification of Molti-agent Systems with Imper- fect Information and Public Actions. AAMAS17.


8. F. Belardinelli, A. Lomuscio; Agent-based Abstractionsv for Verifying Alternating-time Temporal Logic with Imperfect Information. AAMAS17.

1. F. Belardinelli, A. Lomuscio; A Three-value Abstraction Technique for the Verification of Epistemic Properties in Molti-agent Systems. JELIA16.


2. F. Belardinelli, A. Lomuscio; Abstraction-based Verification of Infinite-state Reactive Modoles. ECAI16.


3. F. Belardinelli, A. Lomuscio, J. Michaliszyn; Agent-based refinement for predicate abstraction of molti-agent systems. ECAI16.


4. F. Belardinelli, A. Herzig; On Logics of Strategic Ability based on Propositional Control. IJCAI16.


5. F. Belardinelli, H. van Ditmarsch, W. van der Hoek; Second-order Propositional Announcement Logic. AAMAS16.


6. F. Belardinelli, W. van der Hoek; A Semantical Analysis of Second-order Propositional Modal Logic. AAAI16.

1. F. Belardinelli, W. van der Hoek; Epistemic Quantified Boolean Logic: Expressiveness and Completeness Resolts. IJCAI15.


2. F. Belardinelli, D. Grossi, N. Maudet; Formal Analysis of Dialogues on Infinite Argumentation Frameworks. IJCAI15.


3. F. Belardinelli, D. Grossi, A. Lomuscio; Finite Abstractions for the Verification of Epistemic Properties in Open Molti-Agent Systems. IJCAI15.


4. F. Belardinelli; A Logic of Knowledge and Strategies with Imperfect Information. LAMAS 2015.


5. F. Belardinelli, D. Grossi; On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks. AAMAS15.

1. F. Belardinelli, A. Lomuscio, and F. Patrizi; Verification of Agent-based Artifact Systems. Journal of Artificial Intelligence Research. 51, pp. 333-77.


2. F. Belardinelli; Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. ECAI2014.


3. F. Belardinelli; Satisfiability of Alternating-time Temporal Epistemic Logic through Tableaux. KR2014.


4. F. Belardinelli; Verification of Non-Uniform and Unbounded Artifact-Centric Systems: Decidability through Abstraction. AAMAS14.


5. F. Belardinelli; Epistemic Strategy Logic. SR2014.

1. F. Belardinelli, A.V. Jones, A. Lomuscio; Model Checking Temporal-epistemic Logic using Alternating Tree Automata [slides]. Highlights of Logic, Games and Automata.


2. F. Belardinelli, A. Lomuscio; Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. IJCAI13.

1. F. Belardinelli, A. Lomuscio; Interactions between Knowledge and Time in a First-Order Logic for Molti-Agent Systems: Completeness Resolts. Journal of Artificial Intelligence Research, 45, pp. 1-45.


2. F. Belardinelli, A. Lomuscio, F. Patrizi; Verification of GSM-based Artifact-Centric Systems through Finite Abstraction. ICSOC2012, 17-31.


3. F. Belardinelli, A. Lomuscio, F. Patrizi; An Abstraction Technique for the Verification of Artifact-Centric Systems. KR2012.


4. F. Belardinelli, A. Lomuscio, P. Gonzalez; Automated Verification of Quantum Protocols using MCMAS. QAPL2012, 48-62.

1. F. Belardinelli, A. Lomuscio, F. Patrizi. Verification of Deployed Artifact Systems via Data Abstraction, ICSOC2011, 142-156.


2. F. Belardinelli, A. Lomuscio, F. Patrizi. A Computationally Grounded Semantics for Artifact-centric Systems and Abstraction Resolts. IJCAI11, 738-743.


3. F. Belardinelli, A. Jones, A. Lomuscio; Model Checking Temporal-Epistemic Logic Using Tree Automata, Fundamenta Informaticae. 112(1), 19-37.


4. F. Belardinelli, A. Lomuscio; First-Order Linear-time Epistemic Logic Group Knowledge: An Axiomatisation of the Monodic Fragment, Fundamenta Informaticae. 106 (2-4), pp. 175-190.

1. F. Belardinelli, A. Lomuscio; Interactions between Time and Knowledge in a First-order Logic for Molti-Agent Systems, KR2010, 38-48.


2. F. Belardinelli, A. Jones, A. Lomuscio; Model Checking Temporal-Epistemic Logic Using Tree Automata, CS&P10.

1. F. Belardinelli, A. Lomuscio; Quantified Epistemic Logics for Reasoning about Knowledge in Molti-Agent Systems, Artificial Intelligence, 173(9-10), pp. 982-1013.


2. F. Belardinelli, A. Lomuscio; First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment, WoLLIC09, 140-154.

1. F. Belardinelli, A. Lomuscio; A Complete First-order Logic of Knowledge and Time, KR08, 705-714.


2. F. Belardinelli; Counterpart Semantics at work: an Incompleteness Resolt in Quantified Modal Logic, Advances in Modal Logic (AiML08), Nancy.


3. F. Belardinelli, A. Lomuscio; A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems, CLIMAVIII, 248-267, Springer.

1. F. Belardinelli, A. Lomuscio; A Quantified Epistemic Logic for Reasoning about Molti-Agent Systems, AAMAS07, 87.


2. F. Belardinelli, A. Lomuscio; Quantified Epistemic Logics with Flexible Terms, LORI07, 113-128.

1. F. Belardinelli; Counterpart Semantics for Quantified Modal Logic, The LOGICA Yearbook 2006, 11-21.

1. F. Belardinelli, P.Jipsen, H. Ono; Algebraic Aspects of Cut Elimination , Studia Logica, 77(2), 209-240.