CAV 2018

The Paper "Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives" by Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee and Viktor Toman has been accepted at CAV 2018.