Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets

Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer +3

Recent approaches to leveraging deep learning for computing reachable sets of continuous-time dynamical systems have gained popularity over traditional level-set methods, as they o…