A Reachability-based Safety Certificate for Dynamical System Motion Policies
This work introduces a novel safety certificate for dynamical system motion policies by using a value function derived from backward reachability tube concepts. It transforms safety from a simple point check to verifying path safety along a trajectory, providing a robust method to certify the security of learned motion policies across various system types.