| Automated negotiation: prospects, methods and challenges NR Jennings, P Faratin, AR Lomuscio, S Parsons, C Sierra, M Wooldridge International Journal of Group Decision and Negotiation 10 (2), 199-215, 2001 | 2117 | 2001 |
| MCMAS: an open-source model checker for the verification of multi-agent systems A Lomuscio, H Qu, F Raimondi International Journal on Software Tools for Technology Transfer 19, 9-30, 2017 | 678 | 2017 |
| A classification scheme for negotiation in electronic commerce AR Lomuscio, M Wooldridge, NR Jennings Group Decision and Negotiation 12, 31-56, 2003 | 438 | 2003 |
| An approach to reachability analysis for feed-forward relu neural networks A Lomuscio, L Maganti arXiv preprint arXiv:1706.07351, 2017 | 386 | 2017 |
| A classification scheme for negotiation in electronic commerce AR Lomuscio, M Wooldridge, NR Jennings Agent mediated electronic commerce: the European AgentLink perspective, 19-33, 2001 | 298 | 2001 |
| Verifying epistemic properties of multi-agent systems via bounded model checking W Penczek, A Lomuscio Proceedings of the second international joint conference on Autonomous …, 2003 | 239 | 2003 |
| mcmas: A Model Checker for Multi-agent Systems A Lomuscio, F Raimondi International conference on tools and algorithms for the construction and …, 2006 | 190 | 2006 |
| Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams F Raimondi, A Lomuscio Journal of Applied Logic 5 (2), 235-251, 2007 | 179 | 2007 |
| Deontic interpreted systems A Lomuscio, M Sergot Studia Logica 75, 63-92, 2003 | 168 | 2003 |
| Efficient verification of relu-based neural networks via dependency analysis E Botoeva, P Kouvaros, J Kronqvist, A Lomuscio, R Misener Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 3291-3299, 2020 | 161 | 2020 |
| Efficient neural network verification via adaptive refinement and adversarial search P Henriksen, A Lomuscio ECAI 2020, 2513-2520, 2020 | 127 | 2020 |
| Formalisms for multi-agent systems M d'Inverno, M Fisher, A Lomuscio, M Luck, M De Rijke, M Ryan, ... The Knowledge Engineering Review 12 (3), 315-321, 1997 | 119 | 1997 |
| MCMAS-SLK: A model checker for the verification of strategy logic specifications P Čermák, A Lomuscio, F Mogavero, A Murano Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 110 | 2014 |
| Model checking knowledge, strategies, and games in multi-agent systems A Lomuscio, F Raimondi Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 101 | 2006 |
| Verification of multiagent systems via unbounded model checking M Kacprzak, A Lomuscio, W Penczek Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 98 | 2004 |
| A logic for ignorance W Van Der Hoek, A Lomuscio Electronic Notes in Theoretical Computer Science 85 (2), 117-133, 2004 | 97 | 2004 |
| On the complexity of practical ATL model checking W van der Hoek, A Lomuscio, M Wooldridge Proceedings of the fifth international joint conference on Autonomous agents …, 2006 | 90 | 2006 |
| Towards verifying contract regulated service composition A Lomuscio, H Qu, M Solanki Autonomous Agents and Multi-Agent Systems 24, 345-373, 2012 | 89 | 2012 |
| Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems A Lomuscio, W Penczek, H Qu Fundamenta Informaticae 101 (1-2), 71-90, 2010 | 83 | 2010 |
| DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis. P Henriksen, A Lomuscio IJCAI, 2549-2555, 2021 | 82 | 2021 |
Michael WooldridgeUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
