Login / Signup
DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis.
Amol Wakankar
Paritosh K. Pandya
Raj Mohan Matteplackel
Published in:
CoRR (2017)
Keyphrases
</>
texture synthesis
program synthesis
functional requirements
website
optimal control
robust stability
real time
web services
multi agent systems
computationally efficient
control strategy