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 |