Exact Verification of ReLU Neural Control Barrier Functions.

Hongchao Zhang Junlin Wu Yevgeniy Vorobeychik Andrew Clark

Published in: CoRR (2023)

Keyphrases

control system
network architecture
information retrieval
artificial intelligence
feature extraction
databases
nonlinear dynamics
control theory
control strategies
adaptive control
brute force
biologically inspired
robotic systems
feed forward
data acquisition
model checking
artificial neural networks