TY - RPRT TI - Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach AU - M. Prandini AU - S. Garatti AU - R. Vignali PY - 2014 UR - https://arxiv.org/abs/1405.7197 ID - 1405.7197 ER -