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

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]