TY  - RPRT
TI  - Approximate probabilistic verification of hybrid systems
AU  - Benjamin M. Gyori
AU  - Bing Liu
AU  - Soumya Paul
AU  - R. Ramanathan
AU  - P. S. Thiagarajan
PY  - 2015
UR  - https://arxiv.org/abs/1412.6953
ID  - 1412.6953
ER  -