Edoardo Pirovano
Edoardo Pirovano
Adresse e-mail validée de ic.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
Reachability Analysis for Neural Agent-Environment Systems
ME Akintunde, A Lomuscio, L Maganti, E Pirovano
KR, 184-193, 2018
392018
Verification of RNN-Based Neural Agent-Environment Systems
ME Akintunde, A Kevorchian, A Lomuscio, E Pirovano
AAAI, 6006-6013, 2019
332019
Formal Verification of Open Multi-Agent Systems
P Kouvaros, A Lomuscio, E Pirovano, H Punchihewa
AAMAS, 179-187, 2019
202019
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
P Kouvaros, A Lomuscio, E Pirovano
IJCAI, 324-330, 2018
112018
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
A Lomuscio, E Pirovano
IJCAI, 403-409, 2018
72018
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems
A Lomuscio, E Pirovano
AAMAS, 161-169, 2019
62019
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems
A Lomuscio, E Pirovano
AAMAS, 762-770, 2020
52020
Verifying Fault-Tolerance in Probabilistic Swarm Systems
A Lomuscio, E Pirovano
IJCAI, 325-331, 2020
22020
Parameterised model checking of probabilistic multi-agent systems
E Pirovano
Imperial College London, 2021
2021
OASIcs, Volume 66, ICCSW'18, Complete Volume
E Pirovano, E Graversen
2018 Imperial College Computing Student Workshop (ICCSW 2018), 2019
2019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–10