Towards Learning and Verifying Maximal Neural Lyapunov Functions.
Jun LiuYiming MengMaxwell FitzsimmonsRuikun ZhouPublished in: CoRR (2023)
Keyphrases
- neural network
- learning algorithm
- supervised learning
- learning process
- learning systems
- reinforcement learning
- online learning
- learning problems
- learning tasks
- real time
- knowledge acquisition
- fuzzy logic
- mobile learning
- decision trees
- genetic algorithm
- recurrent neural networks
- network architecture
- stability analysis