Reachability

Probabilistic Reachability for Hybrid Dynamics System

The probabilistic reachability problem, which involves the computation of probabilistic reachable sets, is studied for stochastic reach-avoid games.