Person

Alexander Bork

M. Sc.

Promotionsstudent

Adresse

Room 4205

Ahornstraße 55
D-52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21252
 
Promotionsprojekt
Automated Verification of Partially Observable Systems
Talks

Bi-Weekly Talk: Underapproximations for Indefinite-Horizon POMDPs

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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