Edoardo Pirovano
Edoardo Pirovano
Geverifieerd e-mailadres voor ic.ac.uk - Homepage
TitelGeciteerd doorJaar
Reachability Analysis for Neural Agent-Environment Systems
ME Akintunde, A Lomuscio, L Maganti, E Pirovano
KR, 2018
132018
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
82019
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
P Kouvaros, A Lomuscio, E Pirovano
IJCAI, 324-330, 2018
82018
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems
A Lomuscio, E Pirovano
IJCAI, 403-409, 2018
22018
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
12019
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
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 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, ...
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–10