# Framework for Formal Verification of Machine Learning Based Complex System‐of‐Systems

> Research article (Insight, 2023) · cited 46× · AI/ML

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