SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems

Overview

SOTER combines a robotics language with declarative runtime-assurance modules pairing advanced and safe controllers. Formal composition principles and drone demonstrations provide transferable architectural ideas for safeguarding learned automotive control components.