David Parker : Publications
Click here to download all publications in a single bibtex file
@techreport{RR-14-05, title = "Permissive Controller Synthesis for Probabilistic Systems", author = "Klaus Dräger and Vojtĕch Forejt and Marta Kwiatkowska and David Parker and Mateusz Ujma", year = "2014", institution = "DCS", number = "RR-14-01", pages = "29", }