Using reachability analysis to determine/compute safety guarantees for control policies.
rvl-lab-utoronto / backwards-reachability Goto Github PK
View Code? Open in Web Editor NEWUsing reachability analysis to determine/compute safety guarantees for control policies.