Follow
Edoardo Pirovano
Edoardo Pirovano
Software Engineer, Lacework
Verified email at lacework.net - Homepage
Title
Cited by
Cited by
Year
Reachability Analysis for Neural Agent-Environment Systems
ME Akintunde, A Lomuscio, L Maganti, E Pirovano
KR, 184-193, 2018
792018
Verification of RNN-Based Neural Agent-Environment Systems
ME Akintunde, A Kevorchian, A Lomuscio, E Pirovano
AAAI, 6006-6013, 2019
712019
Formal Verification of Open Multi-Agent Systems
P Kouvaros, A Lomuscio, E Pirovano, H Punchihewa
AAMAS, 179-187, 2019
292019
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems
A Lomuscio, E Pirovano
AAMAS, 762-770, 2020
182020
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
P Kouvaros, A Lomuscio, E Pirovano
IJCAI, 324-330, 2018
162018
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems
A Lomuscio, E Pirovano
AAMAS, 161-169, 2019
122019
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
A Lomuscio, E Pirovano
IJCAI, 403-409, 2018
112018
Verifying Fault-Tolerance in Probabilistic Swarm Systems
A Lomuscio, E Pirovano
IJCAI, 325-331, 2020
52020
A counter abstraction technique for verifying properties of probabilistic swarm systems
A Lomuscio, E Pirovano
Artificial Intelligence 305, 103666, 2022
32022
Parameterised Model Checking of Probabilistic Multi-agent Systems
E Pirovano
Imperial College London, 2021
22021
2018 Imperial College Computing Student Workshop (ICCSW 2018)
E Pirovano, E Graversen
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019
2019
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
The system can't perform the operation now. Try again later.
Articles 1–14