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

Javier Camara Moreno, Henry Muccini, Karthik Vaidhyanathan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020)
Publication status	Published - 2020

Cite this

@inproceedings{666993b1fe7b4472a49e439a29249814,

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

author = "{Camara Moreno}, Javier and Henry Muccini and Karthik Vaidhyanathan",

year = "2020",

language = "English",

booktitle = "Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020)",

}