Allan van Hulst, Michel A. Reniers, Wan J. Fokkink. Maximally Permissive Controlled System Synthesis for Modal Logic. In Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer, editors, SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings. Volume 8939 of Lecture Notes in Computer Science, pages 230-241, Springer, 2015. [doi]
Abstract is missing.