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)