| An Abstraction Technique for the Verification of Artifact-Centric Systems. F Belardinelli, A Lomuscio, F Patrizi KR, 2012 | 84 | 2012 |
| Verification of Multi-agent Systems with Imperfect Information and Public Actions. F Belardinelli, A Lomuscio, A Murano, S Rubin AAMAS 17, 1268-1276, 2017 | 76 | 2017 |
| 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 | 65 | 2014 |
| 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 | 62 | 2012 |
| Verification of broadcasting multi-agent systems against an epistemic strategy logic. F Belardinelli, A Lomuscio, A Murano, S Rubin IJCAI 17, 91-97, 2017 | 60 | 2017 |
| Verification of deployed artifact systems via data abstraction F Belardinelli, A Lomuscio, F Patrizi Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011 | 55 | 2011 |
| Reasoning about knowledge and strategies: Epistemic strategy logic F Belardinelli arXiv preprint arXiv:1404.0837, 2014 | 47 | 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 | 46 | 2012 |
| 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 | 39 | 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 | 37 | 2020 |
| Quantified epistemic logics for reasoning about knowledge in multi-agent systems F Belardinelli, A Lomuscio Artificial Intelligence 173 (9-10), 982-1013, 2009 | 37 | 2009 |
| 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 | 35 | 2023 |
| Systematic generalisation through task temporal logic and deep reinforcement learning BG León, M Shanahan, F Belardinelli arXiv preprint arXiv:2006.08767, 2020 | 35 | 2020 |
| 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 | 34 | 2022 |
| 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 | 34 | 2019 |
| Honesty is the best policy: defining and mitigating AI deception F Ward, F Toni, F Belardinelli, T Everitt Advances in neural information processing systems 36, 2313-2341, 2023 | 30 | 2023 |
| 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 | 28 | 2017 |
| Approximating Perfect Recall When Model Checking Strategic Abilities. F Belardinelli, A Lomuscio, V Malvone KR 18, 435-444, 2018 | 27 | 2018 |
| Reasoning about human-friendly strategies in repeated keyword auctions F Belardinelli, W Jamroga, V Malvone, M Mittelmann, A Murano, ... arXiv preprint arXiv:2201.09616, 2022 | 25 | 2022 |
Alessio R LomuscioImperial College London確認したメール アドレス: imperial.ac.uk
