Assume-Admissible Synthesis.

Romain Brenguier, Jean-Franois Raskin, Ocan Sankur

Browse the full CONCUR paper archive.