Environment Assumptions for Synthesis.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann

Browse the full CONCUR paper archive.