Specification Guided Automated Synthesis of Feedback Controllers.

Nikhil Kumar Singh Indranil Saha

Published in: ACM Trans. Embed. Comput. Syst. (2021)

Keyphrases

human operators
controller synthesis
control system
database
manual inspection
automated analysis
semi automated
fully automated
high level
data driven
bayesian networks
computer assisted
digital libraries
program synthesis
reinforcement learning
texture synthesis
visual feedback
reactive systems