Smaller progress measures and separating automata for parity games

Calude et al. have recently shown that parity games can be solved in quasi-polynomial time, a landmark result that has led to several approaches with quasi-polynomial complexity. Jurdzinski and Lazic have further improved the precise complexity of parity games, especially when the number of prioriti...

Full description

Bibliographic Details
Main Authors: Daniele Dell'Erba, Sven Schewe
Format: Article
Language:English
Published: Frontiers Media S.A. 2022-09-01
Series:Frontiers in Computer Science
Subjects:
Online Access:https://www.frontiersin.org/articles/10.3389/fcomp.2022.936903/full