Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice.

Marta Z. Kwiatkowska

Browse the full ICALP paper archive.