# Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems

> Research article (2020 IEEE International Conference on Software Architecture (ICSA), 2020) · cited 44× · AI/ML

**Wikidata**: [openalex:W3031726059](https://www.wikidata.org/wiki/openalex:W3031726059)  
**Source**: https://4ort.xyz/entity/quantitative-verification-aided-machine-learning-a-tandem-approach-for-architecting-self-adaptive-iot-systems