Verification of Indefinite-Horizon POMDPs.

Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

Browse the full ATVA paper archive.