Sign in
Permissive Controller Synthesis for Probabilistic Systems.
Klaus Dräger
Vojtech Forejt
Marta Z. Kwiatkowska
David Parker
Mateusz Ujma
Published in:
Log. Methods Comput. Sci. (2015)
Keyphrases
</>
controller synthesis
real time
software development