Synthesizing dynamically updating controllers from changes in scenario-based specifications.

Carlo Ghezzi Joel Greenyer Valerio Panzica La Manna

Published in: SEAMS (2012)

Keyphrases

control system
dynamically updated
reinforcement learning
dynamically changing
databases
high level
changing environment
functional requirements
neural network
website
software engineering
formal specification
reactive systems
design requirements
delay insensitive