Permissive strategies: from parity games to safety gamesJulien Bernet, David Janin and Igor WalukiewiczRAIRO-Theor. Inf. Appl., 36 3 (2002) 261-275DOI: https://doi.org/10.1051/ita:2002013
