Alternating-time temporal logics with irrevocable strategies.

Thomas gotnes, Valentin Goranko, Wojciech Jamroga

Browse the full TARK paper archive.