Reactive Synthesis Without Regret.

Paul Hunter, Guillermo A. Prez, Jean-Franois Raskin

Browse the full CONCUR paper archive.