1. The Elastic Internet of Things - A platform for self-integrating and self-adaptive IoT-systems with support for embedded adaptive hardware
2. Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems
3. Edmund M Clarke Jr , Orna Grumberg , Daniel Kroening , Doron Peled , and Helmut Veith . 2018. Model checking . MIT press . Edmund M Clarke Jr, Orna Grumberg, Daniel Kroening, Doron Peled, and Helmut Veith. 2018. Model checking. MIT press.
4. Omid Gheibi , Danny Weyns , and Federico Quin . 2021. Applying machine learning in self-adaptive systems: A systematic literature review. arXiv preprint arXiv:2103.04112 ( 2021 ). Omid Gheibi, Danny Weyns, and Federico Quin. 2021. Applying machine learning in self-adaptive systems: A systematic literature review. arXiv preprint arXiv:2103.04112 (2021).
5. Ian Goodfellow , Yoshua Bengio , and Aaron Courville . 2016. Deep learning . MIT press . Ian Goodfellow, Yoshua Bengio, and Aaron Courville. 2016. Deep learning. MIT press.