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

Javier Cámara, Henry Muccini, Karthik Vaidhyanathan
January 2020
Cite DOI URL
Type
Conference
Publication
2020 IEEE International Conference on Software Architecture, ICSA 2020, Salvador, Brazil, March 16-20, 2020