Max Robotics — Global Service Robot Directory + US Certification

About

Matthias Rungger is a leading researcher in formal methods for cyber-physical systems, with a particular focus on bridging the gap between high-level symbolic control and low-level continuous dynamics. His work centers on the formal synthesis of controllers for complex robotic systems, especially bipedal robots, which exemplify the challenges of hybrid dynamics, large state spaces, and intricate specifications. Rungger’s major contributions include pioneering the first formal controller synthesis for bipedal robots, demonstrating how to systematically verify and guarantee correct behavior despite the robots’ complex, multi-modal dynamics. His 2017 paper on this topic has garnered 19 citations, while its 2015 precursor has 12, reflecting the foundational impact of his approach. He has also advanced the automated generation of dynamics-based runtime certificates for high-level control, enabling robots to adapt when formal specifications cannot be realized due to environmental constraints or dynamic limitations. This work, with 7 and 5 citations respectively, addresses critical issues in reactive synthesis and automated revisions. Rungger’s research is notable for its practical experimental implementations, making his theoretical contributions directly applicable to real-world robotic systems. His work is essential reading for anyone interested in the intersection of formal verification, control theory, and robotics.