@InProceedings{DFK+14,
author={K. Draeger and V. Forejt and M. Kwiatkowska and D. Parker and M. Ujma},
title={Permissive Controller Synthesis for Probabilistic Systems},
booktitle={Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14)},
year={2014},

editor={},
pages={531--546},
organization={},
publisher={Springer},
series={LNCS},
volume={8413},
address={},
month={},
note={},
key={}
}