Synthesis with Guided Environments.

Orna Kupferman, Ofer Leshkowitz

Browse the full TACAS paper archive.