BibTeX record conf/uai/Junges0WQWK018

download as .bib file

@inproceedings{DBLP:conf/uai/Junges0WQWK018,
  author    = {Sebastian Junges and
               Nils Jansen and
               Ralf Wimmer and
               Tim Quatmann and
               Leonore Winterer and
               Joost{-}Pieter Katoen and
               Bernd Becker},
  editor    = {Amir Globerson and
               Ricardo Silva},
  title     = {Finite-State Controllers of POMDPs using Parameter Synthesis},
  booktitle = {Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial
               Intelligence, {UAI} 2018, Monterey, California, USA, August 6-10,
               2018},
  pages     = {519--529},
  publisher = {{AUAI} Press},
  year      = {2018},
  url       = {http://auai.org/uai2018/proceedings/papers/195.pdf},
  timestamp = {Tue, 15 Dec 2020 17:40:18 +0100},
  biburl    = {https://dblp.org/rec/conf/uai/Junges0WQWK018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics