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

From MaRDI portal
Publication:4986515