Optimal Strategy Synthesis in Stochastic Mller Games.

Krishnendu Chatterjee

Browse the full FOSSACS paper archive.