Open AccessOntology-Mediated Probabilistic Model Checking (Extended Version)
Author(s) -
Clemens Dubslaff,
Patrick Koopmann,
Anni-Yasmin Turhan
Publication year - 2019
Publication title -
qucosa (saxon state and university library dresden)
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.25368/2022.254
Subject(s) - computer science , formalism (music) , probabilistic logic , ontology , model checking , de facto , theoretical computer science , data mining , software engineering , programming language , artificial intelligence , art , musical , philosophy , epistemology , visual arts , political science , law
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom