Vojtěch Forejt : 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",
}