Abstraction-Based Synthesis of Controllers for Approximate Opacity.

Junyao Hou Siyuan Liu Xiang Yin Majid Zamani

Published in: CDC (2023)

Keyphrases

program synthesis
controller synthesis
control system
high level
controller design
data sets
databases
real world
computer vision
reinforcement learning
data abstraction
database
neural network
similarity measure
multi agent