# Quantitative Verification for Neural Networks using ProbStars

> Research article (Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023) · cited 11× · AI/ML

**Wikidata**: [openalex:W4375852012](https://www.wikidata.org/wiki/openalex:W4375852012)  
**Source**: https://4ort.xyz/entity/quantitative-verification-for-neural-networks-using-probstars