Synthesis and Verification of Robust-Adaptive Safe Controllers.

Simin Liu Kai S. Yun John M. Dolan Changliu Liu

Published in: ECC (2024)

Keyphrases

controller synthesis
model checking
control system
formal verification
reinforcement learning
data sets
signature verification
controller design
program synthesis
functional programs
multi agent
human operators
test generation
verification method
iterative learning control
evolutionary robotics
information systems