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

Open in new window