TY  - RPRT
TI  - On the Robustness of Temporal Properties for Stochastic Models
AU  - Ezio Bartocci
AU  - Luca Bortolussi
AU  - Laura Nenzi
AU  - Guido Sanguinetti
PY  - 2013
DO  - 10.4204/eptcs.125.1
UR  - https://arxiv.org/abs/1309.0866
ID  - 1309.0866
ER  -