On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications.

Christian Brenner, Joel Greenyer, Wilhelm Schfer

Browse the full FASE paper archive.