Skip to main content

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",
}