| 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 | 159 | 2020 |
| Parameterised verification for multi-agent systems P Kouvaros, A Lomuscio Artificial Intelligence 234, 152-189, 2016 | 63 | 2016 |
| Formal Verification of Neural Agents in Non-deterministic Environments ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio Autonomous Agents and Multi-Agent Systems 36 (1), 1-36, 2022 | 43 | 2022 |
| Automatic verification of parameterised interleaved multi-agent systems P Kouvaros, A Lomuscio arXiv preprint arXiv:1301.6431, 2013 | 40 | 2013 |
| Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching P Kouvaros, A Lomuscio 30th International Joint Conference on Artificial Intelligence, 2021 | 39 | 2021 |
| Formal verification of cnn-based perception systems P Kouvaros, A Lomuscio arXiv preprint arXiv:1811.11373, 2018 | 39 | 2018 |
| Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts. B Batten, P Kouvaros, A Lomuscio, Y Zheng IJCAI, 2184-2190, 2021 | 37 | 2021 |
| 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 | 35 | 2015 |
| Verifying emergent properties of swarms P Kouvaros, A Lomuscio Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 34 | 2015 |
| A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments. P Kouvaros, A Lomuscio IJCAI, 2013-2019, 2013 | 32 | 2013 |
| 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 | 29 | 2019 |
| Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems ME Akintunde, E Botoeva, P Kouvaros, A Lomuscio | 24 | 2020 |
| Verifying Fault-tolerance in Parameterised Multi-Agent Systems P Kouvaros, A Lomuscio | 22 | 2017 |
| Verifying security properties in unbounded multiagent systems I Boureanu, P Kouvaros, A Lomuscio Proceedings of the 2016 international conference on autonomous agents …, 2016 | 21 | 2016 |
| Formal verification of opinion formation in swarms P Kouvaros, A Lomuscio Proceedings of the 2016 International Conference on Autonomous Agents …, 2016 | 21 | 2016 |
| Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. P Kouvaros, A Lomuscio, E Pirovano IJCAI, 324-330, 2018 | 16 | 2018 |
| Formal analysis of neural network-based systems in the aircraft domain P Kouvaros, T Kyono, F Leofante, A Lomuscio, D Margineantu, ... Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 15 | 2021 |
| 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 | 15 | 2017 |
| Parameterised Verification of Data-aware Multi-agent Systems F Belardinelli, P Kouvaros, A Lomuscio | 14 | 2017 |
| Formal verification of a programmable hypersurface P Kouvaros, D Kouzapas, A Philippou, J Georgiou, L Petrou, A Pitsillides Formal Methods for Industrial Critical Systems: 23rd International …, 2018 | 11 | 2018 |
Alessio R LomuscioImperial College London在 imperial.ac.uk 的电子邮件经过验证
