Follow
Francesco Belardinelli
Francesco Belardinelli
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
An abstraction technique for the verification of artifact-centric systems
F Belardinelli, A Lomuscio, F Patrizi
Thirteenth international conference on the principles of knowledge …, 2012
812012
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77, 209-240, 2004
742004
Verification of Multi-agent Systems with Imperfect Information and Public Actions.
F Belardinelli, A Lomuscio, A Murano, S Rubin
AAMAS 17, 1268-1276, 2017
692017
Verification of agent-based artifact systems
F Belardinelli, A Lomuscio, F Patrizi
Journal of Artificial Intelligence Research 51, 333-376, 2014
632014
Verification of GSM-based artifact-centric systems through finite abstraction
F Belardinelli, A Lomuscio, F Patrizi
Service-Oriented Computing: 10th International Conference, ICSOC 2012 …, 2012
622012
Verification of broadcasting multi-agent systems against an epistemic strategy logic.
F Belardinelli, A Lomuscio, A Murano, S Rubin
IJCAI 17, 91-97, 2017
552017
Verification of deployed artifact systems via data abstraction
F Belardinelli, A Lomuscio, F Patrizi
Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011
532011
Reasoning about knowledge and strategies: Epistemic strategy logic
F Belardinelli
arXiv preprint arXiv:1404.0837, 2014
452014
Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
F Belardinelli, A Lomuscio
Journal of Artificial Intelligence Research 45, 1-45, 2012
422012
Quantified epistemic logics for reasoning about knowledge in multi-agent systems
F Belardinelli, A Lomuscio
Artificial Intelligence 173 (9-10), 982-1013, 2009
352009
Strategy logic with simple goals: Tractable reasoning about strategies
F Belardinelli, W Jamroga, V Malvone, A Murano
28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019
322019
Systematic generalisation through task temporal logic and deep reinforcement learning
BG León, M Shanahan, F Belardinelli
arXiv preprint arXiv:2006.08767, 2020
312020
An abstraction-based method for verifying strategic properties in multi-agent systems with imperfect information
F Belardinelli, A Lomuscio, V Malvone
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6030-6037, 2019
282019
Bisimulations for verifying strategic abilities with an application to threeballot
F Belardinelli, R Condurache, C Dima, W Jamroga, AV Jones
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
282017
Verification of multi-agent systems with public actions against strategy logic
F Belardinelli, A Lomuscio, A Murano, S Rubin
Artificial Intelligence 285, 103302, 2020
272020
Quantified modal logic and the ontology of physical objects
F Belardinelli
Ph. D. thesis, Scuola Normale Superiore of Pisa, 2006
252006
Approximating perfect recall when model checking strategic abilities: Theory and applications
F Belardinelli, A Lomuscio, V Malvone, E Yu
Journal of Artificial Intelligence Research 73, 897-932, 2022
232022
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
F Belardinelli, A Ferrando, V Malvone
Artificial Intelligence 316, 103847, 2023
222023
Approximating perfect recall when model checking strategic abilities
F Belardinelli, A Lomuscio, V Malvone
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
222018
A three-valued approach to strategic abilities under imperfect information
F Belardinelli, V Malvone
17th International Conference on Principles of Knowledge Representation and …, 2020
172020
The system can't perform the operation now. Try again later.
Articles 1–20