Multiple Conference Papers Accepted

Jan 22, 2024 1 min read
Project Project

Two papers

  • Zubov-Koopman Learning of Maximal Lyapunov Functions
  • Compositionally Verifiable Vector Neural Lyapunov Functions for Stability

have been accepted to the 2024 American Control Conference (ACC), Toronto.

The tool paper

  • LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction

has been accepted to the 2024 ACM International Conference on Hybrid Systems: Computation and Control (HSCC) in Hong Kong.