GitHub repository: shmarovfedor/probreach
Primary language: C++
Description: Probabilistic reachability for stochastic hybrid systems