Francesco Belardinelli
Associate Professor
Uses formal methods to build safe AI, including abstractions for safe reinforcement learning and logic-based verification of strategic abilities in multi-agent systems.
Francesco Belardinelli's lab at Imperial works on reasoning & neuro-symbolic AI, reinforcement learning and compilers & programming languages. 13 papers since 2023, 8 at top venues, mostly AAMAS and IJCAI. 6 PhD students and 2 master's students. 2 alumni. Applications close .
At a glance
- papers, 2023–2026
- 3/ year
- at T1 venues
- 62%
- PhD students
- 6
- MS students
- 2
- alumni listed
- 2
Papers by yearfrom the lab homepage, 2023–2026
- 0 papers2026 · T1 0 · collecting
- 0 papers2025 · T1 0
- 0 papers2024 · T1 0
- 13 papers2023 · T1 8
T1 venuesOtherVenues: AAMAS, IJCAI, AAAI, Artificial Intelligence, ICML
Research focuspaper titles that use each topic's words
- Reinforcement learning5 papers
- safe1 paper
- Reasoning & neuro-symbolic AI0 papers
- Compilers & programming languages0 papers
- logic-based0 papers
Paper list
From the lab homepage.
202313 papers
- FMAS@iFM3vLTL: A Tool to Generate Automata for Three-valued LTL
- Artificial Intelligence (T1)An Abstraction-refinement Framework for Verifying Strategic Properties in Molti-agent Systems with Imperfect Information
- ECAIApproximate Model-Based Shielding for Safe Reinforcement Learning
- AAMAS (T1)Asymptotic Convergence and Performance of Molti-Agent Q-learning Dynamics
- AAAI (T1)Automatically Verifying Expressive Epistemic Properties of Programs
- IJCAI (T1)Beyond Strict Competition: Approximate Convergence of Molti-agent Q-Learning Dynamics
- AAMAS (T1)Defining Deception in Structural Causal Games
- NeurIPS (T1)Honesty Is the Best Policy: Defining and Mitigating AI Deception
- FMProgram Semantics and Verification Technique for AI-Centred Programs
- WOARMLGym: a Formal Reward Machine Framework for Reinforcement Learning
- IJCAI (T1)Scalable Verification of Strategy Logic through Three-Valued Abstraction
- KRStrategic Abilities of Forgetfol Agents in Stochastic Environments
Where alumni went2 listed
Apply to Imperial2027 (Apr/Oct)
Computing PhD
- Round
- Round 2 (1 Dec 2026)
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- none
Confirmed on the program page.
Similar labsnearest by research summary
- CNPeking
Yinjun Wu
- Data management & big data
- GBImperial
Deniz Gündüz
- Signal processing & information theory
- CNSJTU
Lei Xu
- Learning theory & optimization
- USCMU
Albert Gu
- Generative & foundation models
- USStanford
James Zou
- Trustworthy & safe ML
- SGNUS
Bryan Hooi
- Time series, anomaly & spatio-temporal data
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
Imperialcloses