Max Robotics — Global Service Robot Directory + US Certification

About

Panagiotis Kouvaros is a leading researcher in the formal verification of multi-agent systems and robot swarms, with a particular focus on parameterised systems—those whose behaviour must hold regardless of the number of agents involved. His work addresses a fundamental scalability bottleneck: the state-space explosion that makes traditional model checking impractical for systems with more than a handful of agents. Kouvaros’s key contribution is the development of counter abstraction techniques that allow verification of a much smaller abstract model while preserving the truth of temporal-epistemic specifications. His 2015 paper on robot swarm verification, cited 23 times, relaxes significant restrictions assumed in prior work, enabling more practical verification of collective robotic behaviour. In a 2018 paper, he introduced a symbolic method to automatically synthesise the maximum ratio of faulty agents a system can tolerate while still meeting its specification—a critical step toward building robust, fault-tolerant multi-agent systems. With foundational papers from 2013 establishing automatic verification for parameterised interleaved systems, Kouvaros has shaped how researchers approach the verification of unbounded, distributed, and autonomous agent collectives.