Login / Signup
Verification and Synthesis of Control Barrier Functions.
Andrew Clark
Published in:
CoRR (2021)
Keyphrases
</>
control system
control method
functional programs
database systems
data mining
similarity measure
data structure
evolutionary algorithm
control strategy
formal methods
control problems
control theory
program synthesis