Verification of Indefinite-Horizon POMDPs
Bork, Alexander Nikolai; Junges, Sebastian (Corresponding author); Katoen, Joost-Pieter; Quatmann, Tim
Cham, Switzerland : Springer (2020)
Buchbeitrag, Beitrag zu einem Tagungsband
In: Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / Dang Van Hung, Oleg Sokolsky (eds.)
Seite(n)/Artikel-Nr.: 288-304
Einrichtungen
- Graduiertenkolleg UnRAVeL [080060]
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
Identifikationsnummern
- DOI: 10.1007/978-3-030-59152-6_16
- RWTH PUBLICATIONS: RWTH-2021-02333