[BKK+23]
Christel Baier, Stefan Kiefer, Joachim Klein, David Muller and James Worrell.
Markov chains and unambiguous automata.
Journal of Computer and System Sciences.
2023.
[Presents techniques for model checking Markov chains against unambiguous automata, implemented as an extension of PRISM.]
|
