Improving parity games in practice

Parity games are infinite-round two-player games played on directed graphs whose nodes are labeled with priorities. The winner of a play is determined by the smallest priority (even or odd) that is encountered infinitely often along the play. In the last two decades, several algorithms for solving p...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Annals of mathematics and artificial intelligence Jg. 89; H. 5-6; S. 551 - 574
Hauptverfasser:	Di Stasio, Antonio, Murano, Aniello, Prignano, Vincenzo, Sorrentino, Loredana
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 01.06.2021 Springer Springer Nature B.V
Schlagworte:	Algorithms Artificial Intelligence Complex Systems Computer Science Data structures Games Graph theory Graphs Mathematics Parity Programming languages 68Q60 PGSolver Zielonka Recursive algorithm Formal verification
ISSN:	1012-2443, 1573-7470
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!