# Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

> Research article (2020 59th IEEE Conference on Decision and Control (CDC), 2020) · cited 40× · AI/ML

**Wikidata**: [openalex:W3121024268](https://www.wikidata.org/wiki/openalex:W3121024268)  
**Source**: https://4ort.xyz/entity/counter-example-guided-synthesis-of-neural-network-lyapunov-functions-for-piecewise-linear-systems