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]
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-2020-07963