Javier Cámara, Henry Muccini, Karthik Vaidhyanathan. Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems. In 2020 IEEE International Conference on Software Architecture, ICSA 2020, Salvador, Brazil, March 16-20, 2020. pages 11-22, IEEE, 2020. [doi]
Abstract is missing.