Francesco Belardinelli

146 papers A* 35A 31B 8C 1Misc 2Journal 58Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Behaviour Policy Optimization: Provably Lower Variance Return Estimates for Off-Policy Reinforcement Learning. AAAI Alexander W. Goodall, Edwin Hamel-De le Court, Francesco Belardinelli
2026	A*	`conf`	Expressive Temporal Specifications for Reward Monitoring. AAAI Omar Adalat, Francesco Belardinelli
2026	J	`jnl`	Safe Reinforcement Learning via Recovery-based Shielding with Gaussian Process Dynamics Models. CoRR Alexander W. Goodall, Francesco Belardinelli
2025	J	`jnl`	ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems. CoRR Sofia Garcia de Blas Garcia-Alcalde, Francesco Belardinelli
2025	J	`jnl`	Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning. CoRR Tiberiu-Andrei Georgescu, Alexander W. Goodall, Dalal Alrajeh, Francesco Belardinelli, Sebastián Uchitel
2025	J	`jnl`	Aggregating bipolar opinions through bipolar assumption-based argumentation. Auton. Agents Multi Agent Syst. Charles Dickie, Stefan Lauren, Francesco Belardinelli, Antonio Rago, Francesca Toni
2025	J	`jnl`	An SMT-Based Approach to the Verification of Knowledge-Based Programs. Formal Aspects Comput. Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona
2025	J	`jnl`	Behaviour Policy Optimization: Provably Lower Variance Return Estimates for Off-Policy Reinforcement Learning. CoRR Alexander W. Goodall, Edwin Hamel-De le Court, Francesco Belardinelli
2025	Misc	`conf`	Explainable Reinforcement Learning for Formula One Race Strategy. SAC Devin Thomas, Junqi Jiang, Avinash Kori, Aaron Russo, Steffen Winkler, Stuart Sale, Joseph McMillan, Francesco Belardinelli, Antonio Rago
2025	J	`jnl`	Explainable Reinforcement Learning for Formula One Race Strategy. CoRR Devin Thomas, Junqi Jiang, Avinash Kori, Aaron Russo, Steffen Winkler, Stuart Sale, Joseph McMillan, Francesco Belardinelli, Antonio Rago
2025	B	`conf`	Expressive Reward Synthesis with the Runtime Monitoring Language. PRIMA Daniel Donnelly, Francesco Belardinelli
2025	J	`jnl`	Expressive Reward Synthesis with the Runtime Monitoring Language. CoRR Daniel Donnelly, Angelo Ferrando, Francesco Belardinelli
2025	J	`jnl`	Expressive Temporal Specifications for Reward Monitoring. CoRR Omar Adalat, Francesco Belardinelli
2025	A	`conf`	LUNAR: A Runtime Verification Tool for Anomaly Detection in Gas Networks. AAMAS Julius Gasson, Francesco Belardinelli
2025	J	`jnl`	Model-checking Strategic Abilities in Information-sharing Systems. ACM Trans. Comput. Log. Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
2025	J	`jnl`	Multi-Agent Q-Learning Dynamics in Random Networks: Convergence due to Exploration and Sparsity. CoRR Aamal Abbas Hussain, Dan Leonte, Francesco Belardinelli, Raphaël Huser, Dario Paccagnan
2025	J	`jnl`	ProSh: Probabilistic Shielding for Model-free Reinforcement Learning. CoRR Edwin Hamel-De le Court, Gaspard Ohlmann, Francesco Belardinelli
2025	A*	`conf`	Probabilistic Shielding for Safe Reinforcement Learning. AAAI Edwin Hamel-De le Court, Francesco Belardinelli, Alexander W. Goodall
2025	J	`jnl`	Probabilistic Shielding for Safe Reinforcement Learning. CoRR Edwin Hamel-De le Court, Francesco Belardinelli, Alexander W. Goodall
2025	J	`jnl`	Synthesis of Safety Specifications for Probabilistic Systems. CoRR Gaspard Ohlmann, Edwin Hamel-De le Court, Francesco Belardinelli
2024	A	`conf`	Leveraging Approximate Model-based Shielding for Probabilistic Safety Guarantees in Continuous Environments. AAMAS Alexander W. Goodall, Francesco Belardinelli
2024	J	`jnl`	Leveraging Approximate Model-based Shielding for Probabilistic Safety Guarantees in Continuous Environments. CoRR Alexander W. Goodall, Francesco Belardinelli
2024	A*	`conf`	Measuring Goal-Directedness. NeurIPS Matt MacDermott, James Fox, Francesco Belardinelli, Tom Everitt
2024	J	`jnl`	Measuring Goal-Directedness. CoRR Matt MacDermott, James Fox, Francesco Belardinelli, Tom Everitt
2024	A	`conf`	On the Stability of Learning in Network Games with Many Players. AAMAS Aamal Abbas Hussain, Dan Leonte, Francesco Belardinelli, Georgios Piliouras
2024	J	`jnl`	On the Stability of Learning in Network Games with Many Players. CoRR Aamal Abbas Hussain, Dan Leonte, Francesco Belardinelli, Georgios Piliouras
2024	A*	`conf`	Stability of Multi-Agent Learning in Competitive Networks: Delaying the Onset of Chaos. AAAI Aamal Abbas Hussain, Francesco Belardinelli
2024	A	`conf`	The Reasons that Agents Act: Intention and Instrumental Goals. AAMAS Francis Rhys Ward, Matt MacDermott, Francesco Belardinelli, Francesca Toni, Tom Everitt
2024	J	`jnl`	The Reasons that Agents Act: Intention and Instrumental Goals. CoRR Francis Rhys Ward, Matt MacDermott, Francesco Belardinelli, Francesca Toni, Tom Everitt
2024	A	`conf`	Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. AAMAS Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano
2023	—	`conf`	3vLTL: A Tool to Generate Automata for Three-valued LTL. FMAS@iFM Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
2023	J	`jnl`	An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artif. Intell. Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
2023	A	`conf`	Approximate Model-Based Shielding for Safe Reinforcement Learning. ECAI Alexander W. Goodall, Francesco Belardinelli
2023	J	`jnl`	Approximate Model-Based Shielding for Safe Reinforcement Learning. CoRR Alexander W. Goodall, Francesco Belardinelli
2023	J	`jnl`	Approximate Shielding of Atari Agents for Safe Exploration. CoRR Alexander W. Goodall, Francesco Belardinelli
2023	J	`jnl`	Asymptotic Convergence and Performance of Multi-Agent Q-Learning Dynamics. CoRR Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras
2023	A	`conf`	Asymptotic Convergence and Performance of Multi-Agent Q-learning Dynamics. AAMAS Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras
2023	A*	`conf`	Automatically Verifying Expressive Epistemic Properties of Programs. AAAI Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona
2023	J	`jnl`	Beyond Strict Competition: Approximate Convergence of Multi Agent Q-Learning Dynamics. CoRR Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras
2023	A*	`conf`	Beyond Strict Competition: Approximate Convergence of Multi-agent Q-Learning Dynamics. IJCAI Aamal Abbas Hussain, Francesco Belardinelli, Georgios Piliouras
2023	J	`jnl`	Characterising Decision Theories with Mechanised Causal Graphs. CoRR Matt MacDermott, Tom Everitt, Francesco Belardinelli
2023	A	`conf`	Defining Deception in Structural Causal Games. AAMAS Francis Rhys Ward, Francesca Toni, Francesco Belardinelli
2023	A*	`conf`	Honesty Is the Best Policy: Defining and Mitigating AI Deception. NeurIPS Francis Ward, Francesca Toni, Francesco Belardinelli, Tom Everitt
2023	J	`jnl`	Honesty Is the Best Policy: Defining and Mitigating AI Deception. CoRR Francis Rhys Ward, Francesco Belardinelli, Francesca Toni, Tom Everitt
2023	B	`conf`	Program Semantics and Verification Technique for AI-Centred Programs. FM Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli
2023	—	`conf`	RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. WOA Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
2023	A*	`conf`	Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
2023	J	`jnl`	Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
2023	J	`jnl`	Stability of Multi-Agent Learning in Competitive Networks: Delaying the Onset of Chaos. CoRR Aamal Abbas Hussain, Francesco Belardinelli
2023	J	`jnl`	Stability of Multi-Agent Learning: Convergence in Network Games with Many Players. CoRR Aamal Abbas Hussain, Dan Leonte, Francesco Belardinelli, Georgios Piliouras
2023	A*	`conf`	Strategic Abilities of Forgetful Agents in Stochastic Environments. KR Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
2023	J	`jnl`	Strategic Abilities of Forgetful Agents in Stochastic Environments. CoRR Francesco Belardinelli, Wojciech Jamroga, Munyque Mittelmann, Aniello Murano
2023	A*	`conf`	The Impact of Exploration on Convergence and Performance of Multi-Agent Q-Learning Dynamics. ICML Aamal Abbas Hussain, Francesco Belardinelli, Dario Paccagnan
2022	—	`conf`	A Causal Perspective on AI Deception in Games. ICLP Workshops Francis Rhys Ward, Francesca Toni, Francesco Belardinelli
2022	J	`jnl`	A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic. CoRR Rui Li, Francesco Belardinelli
2022	—	`conf`	A causal perspective on AI deception in games. AISafety@IJCAI Francis Rhys Ward, Francesco Belardinelli, Francesca Toni
2022	J	`jnl`	Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. J. Artif. Intell. Res. Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu
2022	J	`jnl`	Argumentative Reward Learning: Reasoning About Human Preferences. CoRR Francis Rhys Ward, Francesco Belardinelli, Francesca Toni
2022	J	`jnl`	Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. CoRR Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
2022	—	`conf`	Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding. SafeAI@AAAI Chloe He, Borja G. León, Francesco Belardinelli
2022	—	`conf`	Enabling Markovian Representations under Imperfect Information. ICAART (2) Francesco Belardinelli, Borja G. León, Vadim Malvone
2022	A*	`conf`	In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications. ICLR Borja G. León, Murray Shanahan, Francesco Belardinelli
2022	J	`jnl`	Model Checking Strategic Abilities in Information-sharing Systems. CoRR Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
2022	A	`conf`	On Agent Incentives to Manipulate Human Feedback in Multi-Agent Reward Learning Scenarios. AAMAS Francis Rhys Ward, Francesca Toni, Francesco Belardinelli
2022	J	`jnl`	Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. CoRR Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona
2022	A	`conf`	Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2022	J	`jnl`	Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2021	J	`jnl`	Aggregating Bipolar Opinions (With Appendix). CoRR Stefan Lauren, Francesco Belardinelli, Francesca Toni
2021	A	`conf`	Aggregating Bipolar Opinions. AAMAS Stefan Lauren, Francesco Belardinelli, Francesca Toni
2021	A	`conf`	An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors. AAMAS Pierre El Mqirmi, Francesco Belardinelli, Borja G. León
2021	J	`jnl`	An Abstraction-based Method to Verify Multi-Agent Deep Reinforcement-Learning Behaviours. CoRR Pierre El Mqirmi, Francesco Belardinelli, Borja G. León
2021	J	`jnl`	Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. Inf. Comput. Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
2021	J	`jnl`	Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding. CoRR Chloe He, Borja G. León, Francesco Belardinelli
2021	—	`conf`	Evolutionary reinforcement learning for sparse rewards. GECCO Companion Shibei Zhu, Francesco Belardinelli, Borja Gonzalez León
2021	J	`jnl`	In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications. CoRR Borja G. León, Murray Shanahan, Francesco Belardinelli
2021	A*	`conf`	Reasoning About Agents That May Know Other Agents' Strategies. IJCAI Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
2021	J	`jnl`	Strategic reasoning with a bounded number of resources: The quest for tractability. Artif. Intell. Francesco Belardinelli, Stéphane Demri
2020	A*	`conf`	A Hennessy-Milner Theorem for ATL with Imperfect Information. LICS Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea
2020	J	`jnl`	A Hennessy-Milner Theorem for ATL with Imperfect Information. CoRR Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea
2020	A*	`conf`	A Three-valued Approach to Strategic Abilities under Imperfect Information. KR Francesco Belardinelli, Vadim Malvone
2020	A	`conf`	Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning. ECAI Borja G. León, Francesco Belardinelli
2020	J	`jnl`	Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning. CoRR Borja G. León, Francesco Belardinelli
2020	Misc	`conf`	Formal verification of debates in argumentation theory. SAC Ria Jha, Francesco Belardinelli, Francesca Toni
2020	A*	`conf`	Model Checking Temporal Epistemic Logic under Bounded Recall. AAAI Francesco Belardinelli, Alessio Lomuscio, Emily Yu
2020	A	`conf`	Reasoning with a Bounded Number of Resources in ATL+. ECAI Francesco Belardinelli, Stéphane Demri
2020	J	`jnl`	Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning. CoRR Borja G. León, Murray Shanahan, Francesco Belardinelli
2020	J	`jnl`	Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2020	A	`conf`	Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment. ECAI Francesco Belardinelli, Vadim Malvone
2019	A	`conf`	A Social Choice Theoretic Perspective on Database Aggregation. AAMAS Francesco Belardinelli, Umberto Grandi
2019	A*	`conf`	An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. AAAI Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
2019	B	`conf`	Decidable Verification of Agent-Based Data-Aware Systems. PRIMA Francesco Belardinelli, Vadim Malvone
2019	J	`jnl`	Formal Verification of Debates in Argumentation Theory. CoRR Ria Jha, Francesco Belardinelli, Francesca Toni
2019	B	`conf`	Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2019	J	`jnl`	Model Checking ATL* on vCGS. CoRR Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone
2019	A	`conf`	Resource-bounded ATL: the Quest for Tractable Fragments. AAMAS Francesco Belardinelli, Stéphane Demri
2019	B	`conf`	Social Choice Methods for Database Aggregation. TARK Francesco Belardinelli, Umberto Grandi
2019	A*	`conf`	Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
2019	A	`conf`	Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. AAMAS Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
2018	A*	`conf`	Alternating-time Temporal Logic on Finite Traces. IJCAI Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2018	A*	`conf`	Approximating Perfect Recall When Model Checking Strategic Abilities. KR Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
2018	A*	`conf`	Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification. KR Francesco Belardinelli, Catalin Dima, Aniello Murano
2018	J	`jnl`	Database Aggregation. CoRR Francesco Belardinelli, Umberto Grandi
2018	A	`conf`	Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2018	—	`ed.`	Multi-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 EUMAS/AT Francesco Belardinelli, Estefania Argente
2018	J	`jnl`	Second-order propositional modal logic: Expressiveness and completeness results. Artif. Intell. Francesco Belardinelli, Wiebe van der Hoek, Louwe B. Kuijer
2017	B	`conf`	A Logic for Global and Local Announcements. TARK Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
2017	A	`conf`	Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information. AAMAS Francesco Belardinelli, Alessio Lomuscio
2017	A	`conf`	Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones
2017	A*	`conf`	Dynamic Logic for Data-aware Systems: Decidability Results. IJCAI Francesco Belardinelli, Andreas Herzig
2017	A*	`conf`	Parameterised Verification of Data-aware Multi-Agent Systems. IJCAI Francesco Belardinelli, Panagiotis Kouvaros, Alessio Lomuscio
2017	B	`conf`	Relaxing Exclusive Control in Boolean Games. TARK Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
2017	A*	`conf`	Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2017	A	`conf`	Verification of Multi-agent Systems with Imperfect Information and Public Actions. AAMAS Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
2016	A*	`conf`	A Semantical Analysis of Second-Order Propositional Modal Logic. AAAI Francesco Belardinelli, Wiebe van der Hoek
2016	B	`conf`	A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems. JELIA Francesco Belardinelli, Alessio Lomuscio
2016	A	`conf`	Abstraction-Based Verification of Infinite-State Reactive Modules. ECAI Francesco Belardinelli, Alessio Lomuscio
2016	A	`conf`	Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. ECAI Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn
2016	A*	`conf`	On Logics of Strategic Ability Based on Propositional Control. IJCAI Francesco Belardinelli, Andreas Herzig
2016	A	`conf`	Second-order Propositional Announcement Logic. AAMAS Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek
2015	A*	`conf`	Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. IJCAI Francesco Belardinelli, Wiebe van der Hoek
2015	A*	`conf`	Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. IJCAI Francesco Belardinelli, Davide Grossi, Alessio Lomuscio
2015	A*	`conf`	Formal Analysis of Dialogues on Infinite Argumentation Frameworks. IJCAI Francesco Belardinelli, Davide Grossi, Nicolas Maudet
2015	A	`conf`	On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks. AAMAS Francesco Belardinelli, Davide Grossi
2014	J	`jnl`	Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. CoRR Francesco Belardinelli, Alessio Lomuscio
2014	A	`conf`	Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. ECAI Francesco Belardinelli
2014	—	`conf`	Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. SR Francesco Belardinelli
2014	A*	`conf`	Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux. KR Francesco Belardinelli
2014	J	`jnl`	Verification of Agent-Based Artifact Systems. J. Artif. Intell. Res. Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2014	A	`conf`	Verification of non-uniform and unbounded artifact-centric systems: decidability through abstraction. AAMAS Francesco Belardinelli
2013	A*	`conf`	Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems. IJCAI Francesco Belardinelli, Alessio Lomuscio
2013	J	`jnl`	Verification of Agent-Based Artifact Systems CoRR Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2012	A*	`conf`	An Abstraction Technique for the Verification of Artifact-Centric Systems. KR Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2012	—	`conf`	Automated Verification of Quantum Protocols using MCMAS QAPL Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio
2012	J	`jnl`	Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results. J. Artif. Intell. Res. Francesco Belardinelli, Alessio Lomuscio
2012	A	`conf`	Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. ICSOC Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2011	A*	`conf`	A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. IJCAI Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2011	J	`jnl`	First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. Fundam. Informaticae Francesco Belardinelli, Alessio Lomuscio
2011	J	`jnl`	Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. Fundam. Informaticae Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio
2011	A	`conf`	Verification of Deployed Artifact Systems via Data Abstraction. ICSOC Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
2010	A*	`conf`	Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. KR Francesco Belardinelli, Alessio Lomuscio
2009	C	`conf`	First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. WoLLIC Francesco Belardinelli, Alessio Lomuscio
2009	J	`jnl`	Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artif. Intell. Francesco Belardinelli, Alessio Lomuscio
2008	A*	`conf`	A Complete First-Order Logic of Knowledge and Time. KR Francesco Belardinelli, Alessio Lomuscio
2007	—	`conf`	A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. CLIMA Francesco Belardinelli, Alessio Lomuscio
2007	A	`conf`	A quantified epistemic logic for reasoning about multiagent systems. AAMAS Francesco Belardinelli, Alessio Lomuscio
2004	J	`jnl`	Algebraic Aspects of Cut Elimination. Stud Logica Francesco Belardinelli, Peter Jipsen, Hiroakira Ono