A Reachability-based Safety Certificate for Dynamical System Motion Policies

Aditya Vats, Tianyi Xia, Nadia Figueroa

Dynamical Systems (DS) are reactive motion policies representing vector fields trained with theoretical guarantees of stability and convergence. To ensure safety during deployment…