Stefan Schupp

Papers

Total Citations

H-Index

About

Stefan Schupp is a researcher at the forefront of formal methods and hybrid systems, with a particular focus on the verification and control of complex, distributed robotic systems. His work bridges the gap between theoretical computer science and practical robotics, most notably through his research on modelling and verifying robot swarms as hybrid systems. In his highly cited 2022 paper, "Robot Swarms as Hybrid Systems: Modelling and Verification," Schupp addresses a fundamental challenge in swarm robotics: designing individual control algorithms that provably guarantee desired global behaviors. By applying formal verification techniques to swarm systems, he provides rigorous tools for ensuring safety and reliability in decentralized, cooperative multi-robot teams. His contributions are critical for advancing the deployment of swarms in real-world applications, from environmental monitoring to search-and-rescue operations. With a growing citation impact, Schupp’s work is shaping how engineers and computer scientists approach the formal analysis of emergent, collective behaviors in robotics.