Edoardo Pirovano
Edoardo Pirovano
Verified email at ic.ac.uk - Homepage
TitleCited byYear
Reachability Analysis for Neural Agent-Environment Systems
ME Akintunde, A Lomuscio, L Maganti, E Pirovano
KR, 2018
82018
Verification of RNN-Based Neural Agent-Environment Systems
ME Akintunde, A Kevorchian, A Lomuscio, E Pirovano
Proceedings of the 33th AAAI Conference on Artificial Intelligence (AAAI19 …, 2019
42019
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
P Kouvaros, A Lomuscio, E Pirovano
IJCAI, 324-330, 2018
42018
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
A Lomuscio, E Pirovano
IJCAI, 403-409, 2018
12018
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
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
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 verifying neural autonomous systems
M Akitunde, A Kevorchian, P Kouvaros, A Lomuscio, L Maganti, ...
The system can't perform the operation now. Try again later.
Articles 1–9