- Good-for-Games ømega-Pushdown Automata Karoliina Lehtinen Martin Zimmermann Sat 04 July 2020
- Memory Reduction for Strategies in Infinite Games Michael Holtmann Christof Løding Sat 21 June 2014
- Logical specifications of infinite computations Wolfgang Thomas Helmut Lescow Mon 13 January 2014
- Omega-Regular Half-Positional Winning Conditions Eryk Kopczyński Fri 27 December 2013
- Synthesis and Some of Its Challenges Wolfgang Thomas Mon 16 December 2013
- Games People Play Yuri Gurevich Wed 27 March 2013
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
