Quatmann, Tim

2 publications

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

UAI 2018 Finite-State Controllers of POMDPs Using Parameter Synthesis Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker