What are the Odds? Improving Statistical Model Checking of Markov Decision Processes (artifact)
Forschungsdaten: Software
Personen und Einrichtungen
- Patrick Wienhöft - , Exzellenzcluster CeTI: Zentrum für Taktiles Internet, Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)