Engineering Reliable Autonomous Systems

Engineering Reliable Autonomous Systems is a focused two-day academic and industrial workshop held in Zagreb that addresses one of the hardest open problems in robotics: how to design, verify, and deploy autonomous systems that behave reliably and safely in the real world. The event brings together robotics researchers, control engineers, formal methods specialists, safety assurance professionals, and practitioners from automotive, aerospace, defense, industrial automation, and service robotics.

Topics typically span software architectures for autonomy, formal verification and model checking, runtime monitoring, fault tolerance, simulation and testing of autonomous behaviors, safe machine learning, human-robot interaction safety, certification frameworks, and case studies from domains such as autonomous vehicles, drones, and collaborative manipulators. The Croatian and broader Central European context is notable because the region has a strong robotics research base and growing industrial automation sector, and the event acts as a connector between European academic groups and applied teams.