ML Anthology

Finite-State Controllers of POMDPs Using Parameter Synthesis

Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
UAI 2018 pp. 519-529
/uai/2018/junges2018uai-finite/
UAI Semantic Scholar

Cite

Text

Junges et al. "Finite-State Controllers of POMDPs Using Parameter Synthesis." Conference on Uncertainty in Artificial Intelligence, 2018.

Markdown

[Junges et al. "Finite-State Controllers of POMDPs Using Parameter Synthesis." Conference on Uncertainty in Artificial Intelligence, 2018.](https://mlanthology.org/uai/2018/junges2018uai-finite/)

BibTeX

@inproceedings{junges2018uai-finite,
  title     = {{Finite-State Controllers of POMDPs Using Parameter Synthesis}},
  author    = {Junges, Sebastian and Jansen, Nils and Wimmer, Ralf and Quatmann, Tim and Winterer, Leonore and Katoen, Joost-Pieter and Becker, Bernd},
  booktitle = {Conference on Uncertainty in Artificial Intelligence},
  year      = {2018},
  pages     = {519-529},
  url       = {https://mlanthology.org/uai/2018/junges2018uai-finite/}
}