Stochastic Games with Synchronizing Objectives.

Laurent Doyen

Browse the full LICS paper archive.