Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Joachim Klein - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
23 Juli 2017 → 28 Juli 2017
Beschreibung
Konferenz
Titel | 29th International Conference of Computer Aided Verification |
---|---|
Kurztitel | CAV 2017 |
Veranstaltungsnummer | |
Dauer | 24 - 29 Juli 2017 |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | |
Stadt | Heidelberg |
Land | Deutschland |