Leander Behr

Papers

Total Citations

H-Index

About

Leander Behr is a leading researcher at the intersection of swarm robotics and formal verification, whose work addresses one of the field’s most persistent challenges: guaranteeing predictable global behavior from decentralized, individual robot controllers. His key research areas include hybrid systems modeling, multi-agent coordination, and the application of formal methods to robotic swarms. Behr’s most influential contribution, detailed in his highly cited 2022 paper “Robot Swarms as Hybrid Systems: Modelling and Verification” (3 citations), introduces a novel framework that treats swarm dynamics as hybrid systems—combining continuous physical motion with discrete decision-making logic. This approach enables rigorous verification of emergent swarm behaviors, offering a path toward reliable, scalable, and provably correct swarm deployments. Though early in his career, Behr’s work has already been recognized for bridging the gap between theoretical computer science and practical robotics, providing engineers with tools to design control algorithms that come with formal guarantees. His research is particularly impactful for applications in search-and-rescue, environmental monitoring, and distributed sensing, where trust in autonomous collective behavior is paramount.