Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Joachim Klein - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
23 Jul 2017 → 28 Jul 2017
Description
Conference
| Title | 29th International Conference of Computer Aided Verification |
|---|---|
| Abbreviated title | CAV 2017 |
| Conference number | |
| Duration | 24 - 29 July 2017 |
| Degree of recognition | International event |
| Location | |
| City | Heidelberg |
| Country | Germany |