Foundations of Reactive Synthesis for Declarative Process Specifications.

Luca Geatti, Marco Montali, Andrey Rivkin

Browse the full AAAI paper archive.