TY  - RPRT
TI  - Verification of indefinite-horizon POMDPs
AU  - Alexander Bork
AU  - Sebastian Junges
AU  - Joost-Pieter Katoen
AU  - Tim Quatmann
PY  - 2020
UR  - https://arxiv.org/abs/2007.00102
ID  - 2007.00102
ER  -