Finite-State Controllers of POMDPs using Parameter Synthesis

Corvallis, Oregon / AUAI Press (2018) [Contribution to a book, Contribution to a conference proceedings]

Uncertainty in Artificial Intelligence : Proceedings of the Thirty-Fourth Conference (2018), August 6-10, 2018, Monterey, California, USA / Edited by Amir Globerson, Google Inc. and Tel Aviv University; Ricardo Silva, University College London and The Alan Turing Institute ; General Chairs: Gal Elidan, Google Inc. and The Hebrew University, Israel Kristian Kersting, TU Darmstadt, Germany
Page(s): 519-529


Selected Authors

Junges, Sebastian
Jansen, Nils
Wimmer, Ralf
Quatmann, Tim
Winterer, Leonore

Other Authors

Katoen, Joost-Pieter
Becker, Bernd


  • REPORT NUMBER: RWTH-2019-01209