@misc{indiciae84052561f21e,
  title = {Maximally Permissive Controlled System Synthesis for Modal Logic},
  author = {Allan van Hulst and Michel Reniers and Wan Fokkink},
  year = {2014},
  url = {https://arxiv.org/abs/1408.3317},
  note = {Source identifier: 1408.3317}
}