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...

Full description

Bibliographic Details

Published in:	Annals of mathematics and artificial intelligence Vol. 89; no. 5-6; pp. 551 - 574
Main Authors:	Di Stasio, Antonio, Murano, Aniello, Prignano, Vincenzo, Sorrentino, Loredana
Format:	Journal Article
Language:	English
Published:	Cham Springer International Publishing 01.06.2021 Springer Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!