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

Joel Greenyer Ekkart Kindler

Published in: MoDELS (2013)

Keyphrases

controller synthesis
control system
program synthesis
reinforcement learning
delay insensitive
texture synthesis
database
high level
real time
neural network
social networks
closed loop
functional requirements
specification language
real world
control strategy