Francesco Belardinelli
24 papers · 2013–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
π Cross-Pollinator (13) π§ Keyword Pioneer π Conference Polyglot (5) π Academic Marathon (12) π Interdisciplinary Bridge
π
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
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