stochastic-reachability

Safety under uncertainty and constraints

Providing guarantees of safety and synthesis of admissible controllers for stochastic dynamical systems using optimization, Fourier transforms, and computational geometry