# Formal Synthesis of Lyapunov Neural Networks

> Research article (IEEE Control Systems Letters, 2020) · cited 115× · AI/ML

**Wikidata**: [openalex:W3037593164](https://www.wikidata.org/wiki/openalex:W3037593164)  
**Source**: https://4ort.xyz/entity/formal-synthesis-of-lyapunov-neural-networks