Sound Statistical Model Checking for Probabilities and Expected Rewards (experimental reproduction package)
Forschungsdaten: Software
Personen und Einrichtungen
- Carlos E. Budde - , Technical University of Denmark (Urheber:in)
- Arnd Hartmanns - , University of Twente (Urheber:in)
- Tobias Meggendorfer - , Lancaster University Leipzig (Urheber:in)
- Maximilian Weininger - , Institute of Science and Technology Austria (Urheber:in)
- Patrick Wienhöft - , Exzellenzcluster CeTI: Zentrum für Taktiles Internet, Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)