Edinburgh Research Archive

Algorithmic analysis of parity games