Data-Driven Reachability with Scenario Optimization and the Holdout Method

Elizabeth Dietrich, Rosalyn Devonport, Stephen Tu +1

Reachability analysis is an important method in providing safety guarantees for systems with unknown or uncertain dynamics. Due to the computational intractability of exact reachab…