TY  - RPRT
TI  - Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version)
AU  - Y. Zacchia Lun
AU  - J. Wheatley
AU  - A. D'Innocenzo
AU  - A. Abate
PY  - 2018
DO  - 10.1016/j.ifacol.2018.08.016
UR  - https://arxiv.org/abs/1804.08554
ID  - 1804.08554
ER  -