Verification-guided Programmatic Controller Synthesis.

Yuning Wang He Zhu

Published in: TACAS (2) (2023)

Keyphrases

controller synthesis
autonomic computing systems
closed loop
control system
multi agent
controller design
machine learning
learning algorithm
neural network
feed forward
control algorithm