Model Checking Games for the Quantitative -Calculus.

Diana Fischer, Erich Grdel, Lukasz Kaiser

Browse the full STACS paper archive.