Paper at QEST 2022

The paper entitled “POMDP Controllers With Optimal Budget” by Jip Spel, Svenja Stein and Joost-Pieter Katoen has been accepted for presentation at the 18th International Conference on Quantitative Evaluation of SysTems (QEST) in Warsaw, Poland. The paper tackles the problem of finding “almost optimal” valuations for parametric Markov chains, such that the expected reward to reach a target set is minimised, and applies them to controller synthesis in POMDPs.