| Reachability Analysis for Neural Agent-Environment Systems ME Akintunde, A Lomuscio, L Maganti, E Pirovano KR, 2018 | 13 | 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 | 8 | 2019 |
| Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems P Kouvaros, A Lomuscio, E Pirovano IJCAI, 324-330, 2018 | 8 | 2018 |
| Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems A Lomuscio, E Pirovano IJCAI, 403-409, 2018 | 2 | 2018 |
| 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 | 1 | 2019 |
| A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems A Lomuscio, E Pirovano Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | | 2019 |
| OASIcs, Volume 66, ICCSW'18, Complete Volume E Pirovano, E Graversen 2018 Imperial College Computing Student Workshop (ICCSW 2018), 2019 | | 2019 |
| 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 |
| 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, ... | | |
Alessio R LomuscioImperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
