| Automatic verification of parameterised interleaved multi-agent systems P Kouvaros, A Lomuscio arXiv preprint arXiv:1301.6431, 2013 | 40 | 2013 |
| Parameterised verification for multi-agent systems P Kouvaros, A Lomuscio Artificial Intelligence 234, 152-189, 2016 | 38 | 2016 |
| A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. P Kouvaros, A Lomuscio IJCAI, 2013-2019, 2013 | 31 | 2013 |
| A counter abstraction technique for the verification of robot swarms P Kouvaros, A Lomuscio Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 24 | 2015 |
| Verifying Emergent Properties of Swarms. P Kouvaros, A Lomuscio IJCAI, 1083-1089, 2015 | 22 | 2015 |
| Formal verification of cnn-based perception systems P Kouvaros, A Lomuscio arXiv preprint arXiv:1811.11373, 2018 | 16 | 2018 |
| Verifying Fault-tolerance in Parameterised Multi-Agent Systems P Kouvaros, A Lomuscio | 15 | 2017 |
| Formal verification of opinion formation in swarms P Kouvaros, A Lomuscio Proceedings of the 2016 International Conference on Autonomous Agents …, 2016 | 15 | 2016 |
| Verifying security properties in unbounded multiagent systems I Boureanu, P Kouvaros, A Lomuscio Proceedings of the 2016 international conference on autonomous agents …, 2016 | 14 | 2016 |
| Formal verification of open multi-agent systems P Kouvaros, A Lomuscio, E Pirovano, H Punchihewa Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | 12 | 2019 |
| Efficient Verification of ReLU-based Neural Networks via Dependency Analysis E Botoeva, P Kouvaros, J Kronqvist, A Lomuscio, R Misener Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020 | 10 | 2020 |
| Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. P Kouvaros, A Lomuscio, E Pirovano IJCAI, 324-330, 2018 | 9 | 2018 |
| Formal verification of a programmable hypersurface P Kouvaros, D Kouzapas, A Philippou, J Georgiou, L Petrou, A Pitsillides International Workshop on Formal Methods for Industrial Critical Systems, 83-97, 2018 | 6 | 2018 |
| Parameterised verification of infinite state multi-agent systems via predicate abstraction P Kouvaros, A Lomuscio Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 6 | 2017 |
| Parameterised Verification of Data-aware Multi-agent Systems F Belardinelli, P Kouvaros, A Lomuscio | 6 | 2017 |
| Formal Verification of Neural Agents in Non-deterministic Environments ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio Proceedings of the 2020 international conference on autonomous agents …, 2020 | 5 | 2020 |
| Parameterised model checking for alternating-time temporal logic P Kouvaros, A Lomuscio Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 4 | 2016 |
| Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio | | 2020 |
| Towards the formal verification of correctness and robustness of robot swarms (Invited talk) P Kouvaros, A Lomuscio | | 2017 |
| Towards the formal verification of robotic swarms A Lomuscio, P Kouvaros, E Pirovano | | |
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
