3

Certified Neural Approximations of Nonlinear Dynamics
SPoRt -- Safe Policy Ratio
Certified Approximate Reachability (CARe)
Finite sample learning of moving targets