Ontology-Mediated Probabilistic Model Checking.

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan

Browse the full IFM paper archive.