Skip to content
conftrace_

Francesco Belardinelli

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

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓
+7 more ↓ πŸ—ΊοΈ Taxonomy Completionist (24) 🌍 Conference Polyglot Β· Silver πŸƒ Academic Marathon Β· Half πŸŒ‰ Interdisciplinary Bridge Β· Bronze 🐣 Hot Topic Early Bird
πŸ† Grand Slam 🧭 Keyword Pioneer πŸš€ Conference Pioneer πŸ”₯ Unstoppable Β· Silver ⚑ Prolific Year Β· Productive πŸ’Ž Century Club Β· Bronze πŸ—ƒοΈ Keyword Collector (69)

Venues

IJCAI (13) AAAI (7) NeurIPS (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)

Research topics

Artificial Intelligence (15) Core AI (15) Machine Learning (11) Optimization & Theory (7) Knowledge & Reasoning (6) Reinforcement Learning (6) Methods (6) Reasoning (6) Learning Types (4) Deep Learning (1) Bayesian & Probabilistic (1) Core Methods (1) Techniques (1)

Keywords

model checking (10) game theory (7) multi-agent system (7) formal verification (5) multi-agent learning (3) temporal logic (3) convergence analysis (2) imperfect information (2) first-order logic (2) epistemic logic (2) strategy logic (2) network game (2) markov decision process (2) alternating-time temporal logic (2) causal inference (2) temporal-epistemic logic (2) strategic reasoning (2) knowledge representation (1) policy optimization (1) inverse reinforcement learning (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 Measuring Goal-Directedness NeurIPS 2024 Stability of Multi-Agent Learning in Competitive Networks: Delaying the Onset of Chaos AAAI 2024 Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023 Beyond Strict Competition: Approximate Convergence of Multi-agent Q-Learning Dynamics IJCAI 2023 Honesty Is the Best Policy: Defining and Mitigating AI Deception NeurIPS 2023 Scalable Verification of Strategy Logic through Three-Valued Abstraction IJCAI 2023 The Impact of Exploration on Convergence and Performance of Multi-Agent Q-Learning Dynamics ICML 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 Parameterised Verification of Data-aware Multi-Agent Systems IJCAI 2017 Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic IJCAI 2017 On Logics of Strategic Ability Based on Propositional Control IJCAI 2016 Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results IJCAI 2015 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 Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems IJCAI 2013