[DKT21]
Clemens Dubslaff, Patrick Koopmann and Anni-Yasmin Turhan.
Enhancing probabilistic model checking with ontologies.
Formal Aspects of Computing.
2021.
[Presents an ontology-mediated approach to probabilistic model checking, building upon PRISM for the implementation.
]
|
