Pirovano, Edoardo

4 publications

IJCAI 2020 Verifying Fault-Tolerance in Probabilistic Swarm Systems Alessio Lomuscio, Edoardo Pirovano

AAAI 2019 Verification of RNN-Based Neural Agent-Environment Systems Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano

IJCAI 2018 Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano

IJCAI 2018 Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems Alessio Lomuscio, Edoardo Pirovano