Improving parity games in practice - Di Stasio, Antonio; Murano, Aniello; Prignano, Vincenzo; Sorrentino, Loredana (Annals of mathematics and artificial intelligence, 2021)
Keywords: Algorithms; Artificial Intelligence; Complex Systems; Computer Science; Data structures; Games; Graph theory; Graphs; Mathematics; Parity; Programming languages; 68Q60; PGSolver; Zielonka Recursive algorithm; Formal verification