Skip to main content
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)

A formal safety net for waypoint-following in ground robots

Bohrer, B. ., Tan, Y. K., Mitsch, S. ., Sogokon, A. ., & Platzer, A. . (2019). A formal safety net for waypoint-following in ground robots. IEEE Robotics and Automation Letters, 4, 2910–2917.

ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars

Lin, Q. ., Chen, X. ., Khurana, A. ., & Dolan, J. . (2020). ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars. In 2020 International Conference on Intelligent Robots and Systems (IROS) (p. 6627\textendash6632). IEEE.

Towards Safe Reinforcement Learning in the Real World

Ahn, E. . (2019). Towards Safe Reinforcement Learning in the Real World. Pittsburgh, PA. (Original work published 2025)