Stochastic Games with Branching-Time Winning Objectives.

Toms Brzdil, Vclav Brozek, Vojtech Forejt, Antonn Kucera

Browse the full LICS paper archive.