# Synthesizing barrier certificates using neural networks

> Research article (Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020) · cited 62× · AI/ML

**Wikidata**: [openalex:W3021850381](https://www.wikidata.org/wiki/openalex:W3021850381)  
**Source**: https://4ort.xyz/entity/synthesizing-barrier-certificates-using-neural-networks