Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives

Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
July 2018
PDF DOI
Type
Conference paper
Publication
CAV – Computer Aided Verification