Edoardo Pirovano

Papers

Total Citations

H-Index

About

Edoardo Pirovano is a researcher at the forefront of formal verification for multi-agent and swarm systems, with a focus on fault-tolerance and probabilistic reasoning. His work addresses critical challenges in ensuring the reliability of large-scale, unbounded autonomous systems—such as robotic swarms—where the number of agents can vary dynamically and malfunctions are inevitable. Pirovano’s major contributions include introducing novel symbolic synthesis techniques to automatically determine the maximal ratio of faulty agents a multi-agent system can tolerate while still satisfying temporal-epistemic specifications. He has also pioneered counter abstraction methods for verifying properties of probabilistic swarm systems, and developed a unique semantics that accounts for both the probabilistic nature of swarms and potential malfunctions in unbounded settings. His most cited work, "Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems" (2018), has garnered 8 citations, while his subsequent papers on probabilistic swarm verification (2020, 2022) each hold 3 citations. Pirovano’s research is pivotal for advancing dependable autonomous systems, offering rigorous foundations for safety-critical applications in robotics and distributed AI.