TY  - RPRT
TI  - Smoothed Model Checking for Uncertain Continuous Time Markov Chains
AU  - Luca Bortolussi
AU  - Dimitrios Milios
AU  - Guido Sanguinetti
PY  - 2014
UR  - https://arxiv.org/abs/1402.1450
ID  - 1402.1450
ER  -