Cooperative Reactive Synthesis.

Roderick Bloem, Rdiger Ehlers, Robert Knighofer

Browse the full ATVA paper archive.