Max Robotics — Global Service Robot Directory + US Certification

About

Maurice H. ter Beek is a formal methods researcher whose work sits at the intersection of software verification, self-adaptive systems, and software product lines. His research addresses a fundamental challenge in modern computing: ensuring that autonomous and cyber-physical systems can reliably adapt to uncertain environments while maintaining critical safety properties. Ter Beek's most significant contributions center on developing rigorous formal frameworks for modelling and analyzing self-adaptive robotic systems, particularly those deployed in hazardous environments such as underwater marine settings. His innovative approach treats self-adaptive systems as software product lines, leveraging feature-oriented modelling to systematically capture and verify the variability inherent in adaptive behavior. By representing these systems as two-layered architectures — separating domain-specific managed subsystems from their managing counterparts — he provides powerful analytical tools for guaranteeing safety in scenarios where human intervention is impractical. His recent publications, accumulating citations across multiple venues in 2023–2025, reflect a growing research community recognizing the importance of his configurable, formally grounded models. This work has direct implications for autonomous robotics, cyber-physical systems design, and the broader field of dependable software engineering, making ter Beek a notable voice in the formal verification of next-generation autonomous systems.