Login / Signup
LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction.
Jun Liu
Yiming Meng
Maxwell Fitzsimmons
Ruikun Zhou
Published in:
CoRR (2024)
Keyphrases
</>
lightweight
learning algorithm
reinforcement learning
neural network
wireless networks
learning rules
adaptive control
object oriented programming
learning process
wireless sensor networks
object oriented
model checking
dynamical systems
handheld devices