Francesco Belardinelli

8 papers in the IJCAI proceedings

IJCAI 2023

Beyond Strict Competition: Approximate Convergence of Multi-agent Q-Learning Dynamics

with Aamal Hussain, Georgios Piliouras

doi:10.24963/ijcai.2023/16

Details PDF

Scalable Verification of Strategy Logic through Three-Valued Abstraction

with Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano

doi:10.24963/ijcai.2023/6

Details PDF

IJCAI 2021

Reasoning About Agents That May Know Other Agents’ Strategies

with Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin

doi:10.24963/ijcai.2021/246

Details PDF

IJCAI 2019

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies

with Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano

doi:10.24963/ijcai.2019/13

Details PDF

IJCAI 2018

Alternating-time Temporal Logic on Finite Traces

with Alessio Lomuscio, Aniello Murano, Sasha Rubin

doi:10.24963/ijcai.2018/11

Details PDF

IJCAI 2017

Dynamic Logic for Data-aware Systems: Decidability Results

with Andreas Herzig

doi:10.24963/ijcai.2017/114

Details PDF

Parameterised Verification of Data-aware Multi-Agent Systems

with Panagiotis Kouvaros, Alessio Lomuscio

doi:10.24963/ijcai.2017/15

Details PDF

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic

with Alessio Lomuscio, Aniello Murano, Sasha Rubin

doi:10.24963/ijcai.2017/14

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings