TY  - RPRT
TI  - Quantitative model-checking of controlled discrete-time Markov processes
AU  - Ilya Tkachev
AU  - Alexandru Mereacre
AU  - Joost-Pieter Katoen
AU  - Alessandro Abate
PY  - 2014
UR  - https://arxiv.org/abs/1407.5449
ID  - 1407.5449
ER  -