# An Approach for Formal Verification of Machine Learning based Complex Systems

> Research article (INCOSE International Symposium, 2019) · cited 11× · AI/ML

**Wikidata**: [openalex:W2975715929](https://www.wikidata.org/wiki/openalex:W2975715929)  
**Source**: https://4ort.xyz/entity/an-approach-for-formal-verification-of-machine-learning-based-complex-systems