TY  - RPRT
TI  - ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems
AU  - Fedor Shmarov
AU  - Paolo Zuliani
PY  - 2015
UR  - https://arxiv.org/abs/1410.8060
ID  - 1410.8060
ER  -