Edoardo Pirovano

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 9

Top Topics

Formal Verification

High Scalability

Reachability Analysis

Top Venues

Publications

Alessio Lomuscio, Edoardo Pirovano
A counter abstraction technique for verifying properties of probabilistic swarm systems. Artif. Intell. 305 (2022)
Alessio Lomuscio, Edoardo Pirovano
Verifying Fault-Tolerance in Probabilistic Swarm Systems. IJCAI (2020)
Alessio Lomuscio, Edoardo Pirovano
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems. AAMAS (2020)
Alessio Lomuscio, Edoardo Pirovano
A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems. AAMAS (2019)
Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano
Verification of RNN-Based Neural Agent-Environment Systems. AAAI (2019)
Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa
Formal Verification of Open Multi-Agent Systems. AAMAS (2019)
Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano
Reachability Analysis for Neural Agent-Environment Systems. KR (2018)
Alessio Lomuscio, Edoardo Pirovano
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. IJCAI (2018)
Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. IJCAI (2018)