Max Robotics — Global Service Robot Directory + US Certification

About

Lisa Kiekbusch is a leading researcher in behaviour-based robotics, with a focus on formal verification and autonomous systems. Her work bridges the gap between robust, reactive control and provably safe operation, particularly in challenging environments like off-road navigation. Kiekbusch’s major contributions include developing methods to formally verify behaviour networks—a key architecture for robot control—using finite-state automata and explicitly accounting for sensor and hardware failures. This ensures that even when components malfunction, the robot’s behaviour remains predictable and safe. Her 2015 paper on formal verification of behaviour networks including sensor failures has garnered 11 citations, reflecting its foundational impact. She also pioneered the use of behaviour activity sequences for motion generation and situation recognition, enabling autonomous off-road robots to handle complex, unstructured terrain. Additionally, Kiekbusch extended her verification techniques to the emerging field of soft robotics, where flexible materials introduce unique control challenges. Her work is essential for engineers and researchers developing reliable autonomous systems, from planetary rovers to soft-bodied robots, where safety and adaptability are paramount.