Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications

Joel Greenyer, Ekkart Kindler

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications'. Together they form a unique fingerprint.

Engineering & Materials Science