@conference {442, title = {Maximally Permissive Controlled System Synthesis for Modal Logic}, booktitle = {SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sn{\v e}{\.z}kou, Czech Republic, January 24-29, 2015. Proceedings}, year = {2015}, doi = {10.1007/978-3-662-46078-8_19}, url = {http://dx.doi.org/10.1007/978-3-662-46078-8_19}, author = {Allan van Hulst and Michel A. Reniers and Wan J. Fokkink} }