Reproduction package for dissertation "Statistical Model Checking via Robust Markov Decision Processes"
Forschungsdaten: Software
Personen und Einrichtungen
Ansprechperson
Wienhöft, Patrick
- Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal
Person