Skip to content Skip to footer

Reduction Techniques for Model Checking Markov Decision Processes

Activity: Talk or presentation at external institutions/eventsTalk/PresentationContributed

Persons and affiliations

  • Frank Ciesinski - , TUD Dresden University of Technology (Speaker)

Date

15 Sept 2008

Conference

Title5th International Conference on the Quantitative Evaluation of SysTems
Abbreviated titleQEST'08
Conference number
Duration14 - 17 September 2008
Website
Degree of recognitionInternational event
Location
CitySt Malo
CountryFrance

Related content