TY  - RPRT
TI  - Imprecise Continuous-Time Markov Chains: Efficient Computational Methods with Guaranteed Error Bounds
AU  - Alexander Erreygers
AU  - Jasper De Bock
PY  - 2018
UR  - https://arxiv.org/abs/1702.07150
ID  - 1702.07150
ER  -