1
A discrete strategy improvement algorithm for solving parity games /
Book
Other Personal Name(s): ...Jurdzinski, Marcin....