TY  - RPRT
TI  - Probabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parameters
AU  - Fedor Shmarov
AU  - Paolo Zuliani
PY  - 2015
UR  - https://arxiv.org/abs/1406.1920
ID  - 1406.1920
ER  -