[AT19]
Bernhard K. Aichernig and Martin Tappler.
Probabilistic black-box reachability checking.
Formal Methods in System Design, 54, pages 416–448.
2019.
[Presents a black-box checking technique for probabilistic systems, including the use of PRISM.]
|
