Finite-State Controllers of POMDPs using Parameter Synthesis

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

Red Hook, NY : Curran Associates, Inc. (2018)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 34th Conference on Uncertainty in Artificial Intelligence 2018 : Monterey, California, USA, 6-10 August 2018 / editors: Amir Globerson, Ricardo Silva ; Association for Uncertainty in Artificial Intelligence (AUAI). - Volume 1
Seite(n)/Artikel-Nr.: 519-529