@misc{indiciaee3306faa451a,
  title = {Permissive Finite-State Controllers of POMDPs using Parameter Synthesis},
  author = {Sebastian Junges and Nils Jansen and Ralf Wimmer and Tim Quatmann and Leonore Winterer and Joost-Pieter Katoen and Bernd Becker},
  year = {2018},
  url = {https://arxiv.org/abs/1710.10294},
  note = {Source identifier: 1710.10294}
}