TY  - RPRT
TI  - Maximally Permissive Controlled System Synthesis for Modal Logic
AU  - Allan van Hulst
AU  - Michel Reniers
AU  - Wan Fokkink
PY  - 2014
UR  - https://arxiv.org/abs/1408.3317
ID  - 1408.3317
ER  -