Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Browse the full TACAS paper archive.