fmcad20 material
Forschungsdaten: Sonstige Forschungsdaten
Personen und Einrichtungen
- Simon Jantsch - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Hans Harder - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Florian Funke - , Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
- Christel Baier - , Exzellenzcluster CeTI: Zentrum für Taktiles Internet, Professur für Algebraische und logische Grundlagen der Informatik (Urheber:in)
Schlagworte
Schlagwörter
- Markov decision processes, certification, witnessing subsystems, probabilistic reachability, Theoretical Computer Science