Exact Verification of ReLU Neural Control Barrier Functions.

Hongchao Zhang Junlin Wu Yevgeniy Vorobeychik Andrew Clark

Published in: NeurIPS (2023)

Keyphrases

neural network
control system
model checking
control theory
formal methods
network architecture
optimal control
sliding mode control
robot control
control problems
face verification
control method
real time
control strategy
expert systems
machine learning
databases