| Reachability Analysis for Neural Agent-Environment Systems ME Akintunde, A Lomuscio, L Maganti, E Pirovano KR, 184-193, 2018 | 65 | 2018 |
| Verification of RNN-Based Neural Agent-Environment Systems ME Akintunde, A Kevorchian, A Lomuscio, E Pirovano AAAI, 6006-6013, 2019 | 53 | 2019 |
| Formal Verification of Open Multi-Agent Systems P Kouvaros, A Lomuscio, E Pirovano, H Punchihewa AAMAS, 179-187, 2019 | 24 | 2019 |
| Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems P Kouvaros, A Lomuscio, E Pirovano IJCAI, 324-330, 2018 | 13 | 2018 |
| A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems A Lomuscio, E Pirovano AAMAS, 161-169, 2019 | 12 | 2019 |
| Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems A Lomuscio, E Pirovano IJCAI, 403-409, 2018 | 11 | 2018 |
| Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems A Lomuscio, E Pirovano AAMAS, 762-770, 2020 | 10 | 2020 |
| Verifying Fault-Tolerance in Probabilistic Swarm Systems A Lomuscio, E Pirovano IJCAI, 325-331, 2020 | 3 | 2020 |
| A counter abstraction technique for verifying properties of probabilistic swarm systems A Lomuscio, E Pirovano Artificial Intelligence 305, 103666, 2022 | | 2022 |
| Parameterised model checking of probabilistic multi-agent systems E Pirovano Imperial College London, 2021 | | 2021 |
| 2018 Imperial College Computing Student Workshop E Pirovano, E Graversen | | 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 | | |
Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
