Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Alexander Bork

Verification of indefinite-horizon POMDPs

Jun 30, 2020
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

* Technical report for ATVA 2020 paper with the same title 

  Access Paper or Ask Questions