Maximally Permissive Controlled System Synthesis for Modal Logic
| Title | Maximally Permissive Controlled System Synthesis for Modal Logic |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | van Hulst, A, Reniers, MA, Fokkink, WJ |
| Conference Name | 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 |
| URL | http://dx.doi.org/10.1007/978-3-662-46078-8_19 |
| DOI | 10.1007/978-3-662-46078-8_19 |
Work Package:
WP4
