Max Robotics — Global Service Robot Directory + US Certification

About

Michaela Klauck is a rising researcher at the forefront of verifiable robotics, dedicated to bridging the gap between formal verification and autonomous systems. Her work centers on ensuring that robots can operate robustly in dynamic, unstructured environments—a critical step beyond today’s controlled settings. Klauck’s major contribution lies in pioneering the application of Statistical Model Checking (SMC) to robot deliberation, leveraging the powerful STORM model checker to provide probabilistic guarantees on robotic behavior. Her 2024 paper, "Towards Verifying Robotic Systems Using Statistical Model Checking in STORM," has already garnered 5 citations, signaling its foundational impact. In "Towards a Verifiable Toolchain for Robotics" (4 citations), she outlines a comprehensive framework for integrating verification throughout the robotic development pipeline. With a total of 11 citations across her most-cited works, all published in 2024, Klauck is rapidly establishing herself as a key voice in making autonomous robots not just capable, but provably trustworthy. Her research is essential reading for anyone interested in the intersection of formal methods, robotics, and safe AI.