Edoardo Pirovano

According to our database, Edoardo Pirovano authored at least 9 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A counter abstraction technique for verifying properties of probabilistic swarm systems.

Alessio Lomuscio, Edoardo Pirovano

Artif. Intell., 2022

2020

Verifying Fault-Tolerance in Probabilistic Swarm Systems.

Alessio Lomuscio, Edoardo Pirovano

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems.

Alessio Lomuscio, Edoardo Pirovano

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems.

Alessio Lomuscio, Edoardo Pirovano

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Formal Verification of Open Multi-Agent Systems.

Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano, Hashan Punchihewa

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Verification of RNN-Based Neural Agent-Environment Systems.

Michael E. Akintunde, Andreea Kevorchian, Alessio Lomuscio, Edoardo Pirovano

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Reachability Analysis for Neural Agent-Environment Systems.

Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems.

Alessio Lomuscio, Edoardo Pirovano

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems.

Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018