Reduction Techniques for Model Checking Markov Decision Processes
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Frank Ciesinski - , TUD Dresden University of Technology (Speaker)
Date
15 Sept 2008
Conference
| Title | 5th International Conference on the Quantitative Evaluation of SysTems |
|---|---|
| Abbreviated title | QEST'08 |
| Conference number | |
| Duration | 14 - 17 September 2008 |
| Website | |
| Degree of recognition | International event |
| Location | |
| City | St Malo |
| Country | France |