← Authors

Francesco Belardinelli

24 papers · 2013–2026 · 5 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🌍 Conference Polyglot (5) πŸƒ Academic Marathon (12) 🐝 Cross-Pollinator (13) πŸŒ‰ Interdisciplinary Bridge πŸ—ΊοΈ Taxonomy Completionist (22) πŸ† Grand Slam πŸš€ Conference Pioneer πŸ”₯ Unstoppable (11) πŸ’Ž Century Club (22) ⚑ Prolific Year (5) πŸ—ƒοΈ Keyword Collector (66)

Conferences

IJCAI (13) AAAI (7) NIPS (2) ICLR (1) ICML (1)

Top co-authors

Alessio Lomuscio (8) Aniello Murano (5) Vadim Malvone (4) Sasha Rubin (3) Aamal Hussain (3) Edwin Hamel-De le Court (2) Andreas Herzig (2) Tom Everitt (2) Wojciech Jamroga (2) Davide Grossi (2)

Keywords

model checking (10) game theory (7) multi-agent system (7) formal verification (5) multi-agent learning (3) imperfect information (2) convergence analysis (2) temporal logic (2) causal inference (2) epistemic logic (2) markov decision process (2) alternating-time temporal logic (2) strategic reasoning (2) strategy logic (2) network game (2) first-order logic (2) variance reduction (1) equilibrium convergence (1) program verification (1) maximum entropy (1)

Papers

Behaviour Policy Optimization: Provably Lower Variance Return Estimates for Off-Policy Reinforcement Learning AAAI 2026
Expressive Temporal Specifications for Reward Monitoring AAAI 2026
Probabilistic Shielding for Safe Reinforcement Learning AAAI 2025
Stability of Multi-Agent Learning in Competitive Networks: Delaying the Onset of Chaos AAAI 2024
Measuring Goal-Directedness NIPS 2024
Honesty Is the Best Policy: Defining and Mitigating AI Deception NIPS 2023
Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023
The Impact of Exploration on Convergence and Performance of Multi-Agent Q-Learning Dynamics ICML 2023
Scalable Verification of Strategy Logic through Three-Valued Abstraction IJCAI 2023
Beyond Strict Competition: Approximate Convergence of Multi-agent Q-Learning Dynamics IJCAI 2023
In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications ICLR 2022
Reasoning About Agents That May Know Other Agents’ Strategies IJCAI 2021
Model Checking Temporal Epistemic Logic under Bounded Recall AAAI 2020
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies IJCAI 2019
Alternating-time Temporal Logic on Finite Traces IJCAI 2018
Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic IJCAI 2017
Parameterised Verification of Data-aware Multi-Agent Systems IJCAI 2017
On Logics of Strategic Ability Based on Propositional Control IJCAI 2016
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems IJCAI 2015
Formal Analysis of Dialogues on Infinite Argumentation Frameworks IJCAI 2015
Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results IJCAI 2015
Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems IJCAI 2013