Safety and Reliability for Autonomous Robots in Dynamic Environments
Autonomous robots must operate reliably and safely under uncertain, dynamic conditions over extended periods. To ensure such operational robustness, it is vital that both developers and operators can clearly and verifiably specify functional requirements and safety constraints throughout the robot software lifecycle. My research targets different layers of robot operational safety: early error det
