Finite-State Controllers of POMDPs using Parameter Synthesis

Corvallis, Oregon / AUAI Press (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

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
Seite(n): 519-529

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Weitere Autorinnen und Autoren

Katoen, Joost-Pieter
Becker, Bernd

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-01209