Quantitative model-checking of controlled discrete-time Markov processes

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

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

Authors

Authors

Tkachev, Ilya
Mereacre, Alexandru
Katoen, Joost-Pieter
Abate, Alessandro

Identifier