# Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems

> Research article (Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, 2021) · cited 19× · AI/ML

**Wikidata**: [openalex:W3157818965](https://www.wikidata.org/wiki/openalex:W3157818965)  
**Source**: https://4ort.xyz/entity/synthesizing-relu-neural-networks-with-two-hidden-layers-as-barrier-certificates-for-hybrid-systems