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]

Identifikationsnummern