1. FOSSIL
2. Formal Synthesis of Lyapunov Neural Networks
3. Daniele Ahmed, Andrea Peruffo, and Alessandro Abate. 2020. Automated and sound synthesis of Lyapunov functions with SMT solvers. In Proc. of TACAS. Springer, 97–114.
4. Ya-Chien Chang, Nima Roohi, and Sicun Gao. 2019. Neural Lyapunov control. Advances in Neural Information Processing Systems 32 (2019).
5. Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J Pappas, and Victor M Preciado. 2021. Learning Lyapunov functions for hybrid systems. In Proceedings of the International Conference on Hybrid Systems: Computation and Control. 1–11.