# Formally Verified Neural Network Control Barrier Certificates for Unknown Systems

> Research article (IFAC-PapersOnLine, 2023) · cited 14× · AI/ML

**Wikidata**: [openalex:W4388903940](https://www.wikidata.org/wiki/openalex:W4388903940)  
**Source**: https://4ort.xyz/entity/formally-verified-neural-network-control-barrier-certificates-for-unknown-systems