Edoardo Pirovano
Edoardo Pirovano
Verified email at ic.ac.uk - Homepage
Title
Cited by
Cited by
Year
Reachability Analysis for Neural Agent-Environment Systems
ME Akintunde, A Lomuscio, L Maganti, E Pirovano
KR, 2018
242018
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
202019
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
P Kouvaros, A Lomuscio, E Pirovano
IJCAI, 324-330, 2018
102018
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
92019
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems.
A Lomuscio, E Pirovano
AAMAS, 161-169, 2019
42019
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
A Lomuscio, E Pirovano
IJCAI, 403-409, 2018
42018
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
12020
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, ...
The system can't perform the operation now. Try again later.
Articles 1–13