Assume-Guarantee Synthesis.

Krishnendu Chatterjee, Thomas A. Henzinger

Browse the full TACAS paper archive.