Towards Learning and Verifying Maximal Neural Lyapunov Functions.

Jun Liu Yiming Meng Maxwell Fitzsimmons Ruikun Zhou

Published in: CDC (2023)

Keyphrases

learning process
learning algorithm
neural network
learning tasks
real time
learning scheme
active learning
online learning
sufficient conditions
adaptive control
autonomous robots
learning community
learning problems
learning systems
knowledge acquisition
prior knowledge
reinforcement learning