Finite-State Controllers of POMDPs using Parameter Synthesis

Junges, Sebastian (Corresponding author); Jansen, Nils; Wimmer, Ralf; Quatmann, Tim; Winterer, Leonore; Katoen, Joost-Pieter; Becker, Bernd

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


  • REPORT NUMBER: RWTH-2019-01209