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

Javier Cmara, Henry Muccini, Karthik Vaidhyanathan

Browse the full ICSA paper archive.