Publications

Publications for Tim Quatmann

2018

[bibtex]
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs via Parameter Synthesis. Proc. of UAI, , 2018.
DOI
[bibtex]
Tim Quatmann, Joost-Pieter Katoen. Sound Value Iteration. Proc. of CAV, Volume of LNCS, Springer, 2018.

[bibtex]
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-Cost Bounded Reachability in MDPs. Proc. of TACAS, Volume 10805 of LNCS, , 2018.
Show all