Person

Alexander Bork

M. Sc.

Doctoral researcher

Address

Room 4205

Ahornstraße 55
D-52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21252
 
Dissertation project
Automated Verification of Partially Observable Systems
Talks
Bi-Weekly Talk: Underapproximations for Indefinite-Horizon POMDPs
 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a book, Contribution to a conference proceedings]
Verification of Indefinite-Horizon POMDPs
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.), 288-304, 2020
[DOI: 10.1007/978-3-030-59152-6_16]
Bork, Alexander
Junges, Sebastian (Corresponding author)
Katoen, Joost-Pieter
Quatmann, Tim