Login / Signup

A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games.

K. S. ThejaswiniPierre OhlmannMarcin Jurdzinski
Published in: FSTTCS (2022)
Keyphrases