Quantitative model-checking of controlled discrete-time Markov processes

Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro (Corresponding author)

Amsterdam / Elsevier (2016, 2017) [Journal Article]

Information and Computation
Volume: 253
Issue: Part 1
Page(s): 1-35

Identifier