Correct-by-construction policies for POMDPs

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

New York, NY : ACM Press (2019)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Seite(n)/Artikel-Nr.: 6-8

Einrichtungen

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