POMDP Controllers with Optimal Budget. - Jip Spel; Svenja Stein; Joost-Pieter Katoen (QEST, 2022)

POMDP Controllers With Optimal Budget (Artifact). - Jip Spel; Svenja Stein; Joost-Pieter Katoen (Zenodo, 2022)

Multi-Cost-Bounded Reachability Analysis of POMDPs. - Alexander Bork; Joost-Pieter Katoen; Tim Quatmann; Svenja Stein (UAI, 2025)