Reachability Analysis for Neural Agent-Environment Systems ME Akintunde, A Lomuscio, L Maganti, E Pirovano KR, 2018 | 24 | 2018 |
Verification of RNN-Based Neural Agent-Environment Systems ME Akintunde, A Kevorchian, A Lomuscio, E Pirovano Proceedings of the AAAI Conference on Artificial Intelligence 33, 6006-6013, 2019 | 21 | 2019 |
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 |
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems P Kouvaros, A Lomuscio, E Pirovano IJCAI, 324-330, 2018 | 9 | 2018 |
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems. A Lomuscio, E Pirovano AAMAS, 161-169, 2019 | 4 | 2019 |
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems A Lomuscio, E Pirovano IJCAI, 403-409, 2018 | 4 | 2018 |
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems A Lomuscio, E Pirovano Proceedings of the 19th International Conference on Autonomous Agents and …, 2020 | 1 | 2020 |
OASIcs, Volume 66, ICCSW'18, Complete Volume E Pirovano, E Graversen 2018 Imperial College Computing Student Workshop (ICCSW 2018), 2019 | | 2019 |
Reachability analysis for neural agent-environment systems AR Lomuscio, M Akitunde, L Maganti, E Pirovano Association for the Advancement of Artificial Intelligence, 2018 | | 2018 |
Verification of unbounded multi-agent systems via parameterised model checking P Kouvaros, A Lomuscio, E Pirovano Reasoning about Actions and Processes: Highlights of Recent Advances, 2018 | | 2018 |
Verifying Fault-Tolerance in Probabilistic Swarm Systems A Lomuscio, E Pirovano | | |
Towards the formal verification of robotic swarms A Lomuscio, P Kouvaros, E Pirovano | | |
Towards verifying neural autonomous systems M Akitunde, A Kevorchian, P Kouvaros, A Lomuscio, L Maganti, ... | | |