Quantitative model-checking of controlled discrete-time Markov processes

Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate. Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput., 253:1-35, 2017. [doi]

Abstract

Abstract is missing.