[AT17]
Bernhard K. Aichernig and Martin Tappler.
Probabilistic black-box reachability checking.
In Proc. 17th International Conference on Runtime Verification (RV'17).
2017.
[Presents a black-box checking technique for probabilistic systems, including the use of PRISM.]
|
