Paper at TACAS 2022

The paper entitled “Under-Approximating Expected Total Rewards in POMDPs” by Alexander Bork, Tim Quatmann and Joost-Pieter Katoen has been accepted for the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). The paper has also successfully passed all aspects of the artifact evaluation. The paper presents a novel algorithm to under-approximate the expected total reward until reaching a given target state in a POMDP.