Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems | IEEE Conference Publication | IEEE Xplore