- Parity Games of Bounded Tree-Depth Konrad Staniszewski Fri 24 November 2023
- Toward a multilevel scalable parallel Zielonka's algorithm for solving parity games Luisa D'Amore Aniello Murano Loredana Sorrentino Rossella Arcucci Giuliano Laccetti Thu 15 October 2020
- Model Checking Games Erich Gradel Wed 22 January 2020
- Index Problems for Game Automata Alessandro Facchini Filip Murlak Michał Skrzypczak Fri 21 June 2019
- Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time Paweł Parys Thu 07 March 2019
- A modal mu perspective on solving parity games in quasipolynomial time Karoliina Lehtinen Mon 02 April 2018
- An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space John Fearnley Sanjay Jain Sven Schewe Frank Stephan Dominik Wojtczak Mon 18 September 2017
- Deciding parity games in quasipolynomial time C. S. Calude S. Jain B. Khoussainov W. Li F. Stephan Sat 11 March 2017
- Succinct progress measures for solving parity games Marcin Jurdziński Ranko Lazić Mon 27 February 2017
- The PGSolver Collection of Parity Game Solvers Oliver Friedmann Martin Lange Thu 01 October 2015
- Qualitative Concurrent Parity Games Krishnendu Chatterjee Mon 23 February 2015
- Krivine machines and higher-order schemes Sylvain Salvati Igor Walukiewicz Mon 22 December 2014
- Canonical Progress Measures for Parity Games Konstantinos Mamouras Sun 16 February 2014
- Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions Hugo Gimbert Youssouf Oualhadj Soumya Paul Fri 24 January 2014
- Perfect-Information Stochastic Mean-Payoff Parity Games Krishnendu Chatterjee Laurent Doyen Hugo Gimbert Youssouf Oualhadj Sat 28 December 2013
- Games on Pushdown Graphs and Extensions Thierry Cachat Thu 31 January 2013
- Games on Higher Order Multi-stack Pushdown Systems Anil Seth Tue 20 November 2012
- Winning Regions of Pushdown Parity Games: A Saturation Method Matthew Hague C. -H. Ong Thu 05 July 2012
- Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games Thierry Cachat Fri 27 April 2012
- How much memory is needed to win infinite games S. Dziembowski M. Jurdzinski I. Walukiewicz Sat 21 April 2012
- Infinite games on finitely coloured graphs with applications to automata on infinite trees Wieslaw Zielonka Sat 21 April 2012
- Stuttering Equivalence for Parity Games Sjoerd Cranen Jeroen J. A. Keiren Tim A. C. Willemse Tue 03 April 2012
- Simulation-Based Simplification of omega-Automata Carsten Fritz Mon 02 April 2012
- Simulation Relations for Alternating Parity Automata and Parity Games Carsten Fritz Thomas Wilke Mon 02 April 2012
Library Size: 13G (24 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
