|
[DKT19]
Clemens Dubslaff, Patrick Koopmann and Anni-Yasmin Turhan.
Ontology-Mediated Probabilistic Model Checking.
In Proc. International Conference on Integrated Formal Methods (IFM'19).
2019.
[Presents an ontology-mediated approach to probabilistic model checking, building upon PRISM for the implementation.]
|
|
Links:
[Google]
[Google Scholar]
|