Login / Signup
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems.
Chelsea Sidrane
Amir Maleki
Ahmed Irfan
Mykel J. Kochenderfer
Published in:
CoRR (2021)
Keyphrases
</>
neural network
nonlinear systems
optimization algorithm
objective function
dynamic programming
learning algorithm
optimal solution
artificial neural networks
particle swarm optimization
convergence rate
fuzzy controller
fuzzy systems