Arnaud Sangnier

Délégation Paris 7, Université Paris Cité

Papers

Total Citations

H-Index

About

Arnaud Sangnier is a leading researcher in the formal verification of autonomous multi-agent and robotic systems, with a particular focus on the algorithmic and computational challenges of swarm robotics. His most influential work centers on the parameterized verification of algorithms for oblivious robots operating on a ring—a foundational model for studying collective behavior in anonymous, memoryless robot swarms. In his highly cited 2019 paper (17 citations) and its earlier 2017 precursor (9 citations), Sangnier tackles the fundamental problem of verifying global objectives for swarms of mobile robots that self-organize without explicit communication. By developing novel parameterized verification techniques, he provides rigorous methods to automatically check whether a swarm of any size will correctly achieve its goals, such as gathering or pattern formation. This work bridges the gap between theoretical computer science and practical robotics, offering scalable solutions for systems where the number of robots is unknown or unbounded. Sangnier’s contributions are essential for ensuring the reliability of decentralized robotic systems, and his research continues to shape the field of automated verification for multi-agent systems.