Verification of Indefinite-Horizon POMDPs

Bork, Alexander; Junges, Sebastian (Corresponding author); Katoen, Joost-Pieter; Quatmann, Tim

Cham, Switzerland / Springer (2020) [Contribution to a book, Contribution to a conference proceedings]

Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / Dang Van Hung, Oleg Sokolsky (eds.)
Page(s): 288-304

Identifier