David Parker

Dr David Parker
Visiting Lecturer
Biography
I have now moved to the University of Birmingham. My new web page is here.
Selected Publications
-
Permissive Controller Synthesis for Probabilistic Systems
Klaus Dräger‚ Vojtĕch Forejt‚ Marta Kwiatkowska‚ David Parker and Mateusz Ujma
No. RR−14−01. DCS. 2014.
Details about Permissive Controller Synthesis for Probabilistic Systems | BibTeX data for Permissive Controller Synthesis for Probabilistic Systems | Download (pdf) of Permissive Controller Synthesis for Probabilistic Systems
Activities
- Probabilistic Verification for Systems Biology
- Software Model Checking
- Probabilistic Model Checking
- Quantitative Analysis and Verification
- PRISM