research
∙
03/10/2019
DCSYNTH: Guided Reactive Synthesis with Soft Requirements
In reactive controller synthesis, a number of implementations (controlle...
research
∙
03/10/2019