09.04.2018
 

CAV 2018

The Paper "Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives" by Krishnendu Chatterjee, Monika Henzinger, Veronika...