-
Permissive strategies: from parity games to safety games
International audience -
Parity and Streett Games with Costs
A preliminary version of this work appeared in FSTTCS 2012 under the name ''Cost-parity and Cost-Streett Games''. The research leading to these results has received funding from...
