# Sherlock - A tool for verification of neural network feedback systems

> Research article (Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019) · cited 45× · AI/ML

**Wikidata**: [openalex:W2937290319](https://www.wikidata.org/wiki/openalex:W2937290319)  
**Source**: https://4ort.xyz/entity/sherlock-a-tool-for-verification-of-neural-network-feedback-systems