Alessio Lomuscio
Papers
8
Total Citations
538
H-Index
6
About
Alessio Lomuscio is a leading figure in the formal verification of multi-agent systems (MAS) and robotic swarms. His research focuses on developing automated techniques to ensure the correctness, safety, and robustness of systems composed of multiple interacting agents, particularly when those systems are too large to analyze directly. His most significant contribution is the creation of MCMAS, a model checker for MAS that has garnered over 290 citations, providing a foundational tool for the community. Lomuscio has pioneered methods to tackle the "state-space explosion" problem, enabling the verification of parameterised systems with an unbounded number of agents. A key innovation is his counter abstraction technique for verifying robot swarms, which allows for the analysis of a much smaller abstract model. He has also advanced the field by synthesising fault-tolerance ratios, automatically determining the maximum number of faulty agents a system can withstand. His work extends to probabilistic swarm systems, addressing the inherent uncertainty in real-world deployments. As a frequent chair of the AAMAS conference, Lomuscio has shaped the discourse on autonomous agents, making his research essential for anyone building reliable, large-scale multi-agent systems.
Research Focus
Key Achievements
Top Papers
- 1MCMAS: A Model Checker for the Verification of Multi-Agent Systems290 citations · 2009
- 2
- 3A Counter Abstraction Technique for the Verification of Robot Swarms23 citations · 2015
- 4Automatic verification of parameterised multi-agent systems17 citations · 2013
- 5Automatic Verification of Parameterised Interleaved Multi-Agent Systems13 citations · 2013
- 6
- 7
- 8Verifying Fault-Tolerance in Probabilistic Swarm Systems3 citations · 2020