This page shows all presentations of this author published in EasyChair Smart Slide.
Markov Decision Processes with Sure Parity and Multiple Reachability Objectives
Raphaël Berthon, Joost-Pieter Katoen and Tobias Winkler