All-at-once-synthesis of controllers from scenario-based product line specifications.

Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans

Browse the full SPLC paper archive.