| 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 | 79 | 2012 |
| Algebraic aspects of cut elimination F Belardinelli, P Jipsen, H Ono Studia Logica 77, 209-240, 2004 | 75 | 2004 |
| Verification of agent-based artifact systems F Belardinelli, A Lomuscio, F Patrizi Journal of Artificial Intelligence Research 51, 333-376, 2014 | 64 | 2014 |
| Verification of Multi-agent Systems with Imperfect Information and Public Actions. F Belardinelli, A Lomuscio, A Murano, S Rubin AAMAS 17, 1268-1276, 2017 | 63 | 2017 |
| 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 | 59 | 2012 |
| Verification of deployed artifact systems via data abstraction F Belardinelli, A Lomuscio, F Patrizi Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011 | 52 | 2011 |
| Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. F Belardinelli, A Lomuscio, A Murano, S Rubin IJCAI 17, 91-97, 2017 | 50 | 2017 |
| Reasoning about knowledge and strategies: Epistemic strategy logic F Belardinelli arXiv preprint arXiv:1404.0837, 2014 | 45 | 2014 |
| 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 | 38 | 2012 |
| Quantified epistemic logics for reasoning about knowledge in multi-agent systems F Belardinelli, A Lomuscio Artificial Intelligence 173 (9-10), 982-1013, 2009 | 34 | 2009 |
| Systematic generalisation through task temporal logic and deep reinforcement learning BG León, M Shanahan, F Belardinelli arXiv preprint arXiv:2006.08767, 2020 | 24 | 2020 |
| 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 | 24 | 2017 |
| Quantified modal logic and the ontology of physical objects F Belardinelli Ph. D. thesis, Scuola Normale Superiore of Pisa, 2006 | 22 | 2006 |
| 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 | 20 | 2019 |
| 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 | 19 | 2019 |
| Verification of multi-agent systems with public actions against strategy logic F Belardinelli, A Lomuscio, A Murano, S Rubin Artificial Intelligence 285, 103302, 2020 | 18 | 2020 |
| Approximating perfect recall when model checking strategic abilities F Belardinelli, A Lomuscio, V Malvone Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 17 | 2018 |
| Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. F Belardinelli, A Lomuscio, J Michaliszyn ECAI, 286-294, 2016 | 15 | 2016 |
| A computationally-grounded semantics for artifact-centric systems and abstraction results F Belardinelli, A Lomuscio, F Patrizi IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011 | 15 | 2011 |
| Epistemic quantified boolean logic: Expressiveness and completeness results F Belardinelli, W Van Der Hoek Proceedings of the Twenty-Fourth International Joint Conference on …, 2015 | 13 | 2015 |
