From Local to Global Optimality in Concurrent Parity Games.

Benjamin Bordais, Patricia Bouyer, Stphane Le Roux

Browse the full CSL paper archive.