Max Robotics — Global Service Robot Directory + US Certification

About

Hendrik Skubch is a researcher whose work lies at the intersection of artificial intelligence, robotics, and formal methods, with a particular focus on enabling autonomous systems to operate intelligently in highly dynamic and unpredictable environments. His primary contributions center on developing novel modelling languages and control architectures for cooperative multi-robot systems. His most influential work, "A modelling language for cooperative plans in highly dynamic domains" (2010, 31 citations), introduced a formal framework that allows teams of robots to coordinate their actions flexibly, moving beyond rigid, pre-programmed behaviors. This foundational research is complemented by his monograph "Modelling and Controlling of Behaviour for Autonomous Mobile Robots" (2012, 20 citations), which provides a comprehensive methodology for designing adaptive robot behaviors. Skubch also advanced the field through his work on cooperative path planning, addressing the critical challenge of collision-free navigation for multi-robot teams in changing environments. His later research explores the use of Satisfiability Modulo Theories (SMT) to determine robotic tasks, offering a powerful approach to separate problem specification from solution strategy. Through these contributions, Skubch has helped lay the theoretical and practical groundwork for more resilient, autonomous, and collaborative robotic systems.