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:
J. Mach. Learn. Res. (2022)
Keyphrases
</>
nonlinear systems
neural network
learning algorithm
dynamic programming
mathematical model
reinforcement learning
optimal solution
particle swarm optimization
dynamic model
fuzzy systems
adaptive control