"Model Checking Games for the Quantitative µ-Calculus."

Diana Fischer, Erich Grädel, Lukasz Kaiser (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics