Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information.

Roderick Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Knighofer

Browse the full TACAS paper archive.