The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs

From MaRDI portal
(Redirected from Publication:477199)