Max Robotics — Global Service Robot Directory + US Certification

About

Thorsten Berger is a leading researcher in robotics software engineering, with a focus on enabling autonomous robots to reliably execute complex, collaborative missions. His work lies at the intersection of software variability, formal mission specification, and dependable system design. Berger has made seminal contributions by developing high-level, domain-specific languages (DSLs) and architectural frameworks that allow roboticists to specify, verify, and coordinate multi-robot behaviors—moving beyond ad-hoc, low-level programming. His highly cited paper on "Behavior Trees and State Machines in Robotics Applications" (62 citations) is a cornerstone in the field, systematically comparing these two dominant coordination paradigms. He also pioneered the PsALM language for specifying dependable robotic missions and introduced property specification patterns for robotic missions, both of which provide formal, reusable templates for ensuring system correctness. With additional influential works on variability modeling for service robots and runtime verification for ROS-based systems, Berger’s research directly addresses the critical challenge of engineering software that is both reusable and trustworthy. His work has accumulated hundreds of citations, establishing him as a key figure in the systematic, software-centric development of next-generation autonomous systems.