A New Algorithm for Strategy Synthesis in LTL Games.

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Browse the full TACAS paper archive.