C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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