Are Parametric Markov Chains Monotonic?

Cham / Springer International Publishing (2019) [Contribution to a book, Contribution to a conference proceedings]

Automated Technology for Verification and Analysis / Chen, Yu-Fang (Editor)
Page(s): 479-496

Authors

Authors

Spel, Jip Josephine
Junges, Sebastian
Katoen, Joost-Pieter

Identifier