This page shows all presentations of this author published in EasyChair Smart Slide.
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee and Viktor Toman