This page shows all presentations of this author published in EasyChair Smart Slide.
The Revised Practitioner's Guide to MDP Model Checking Algorithms
Maximilian Weininger, Arnd Hartmanns, Sebastian Junges and Tim Quatmann
Sound Value Iteration
Tim Quatmann and Joost-Pieter Katoen