AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Birth of Quantitative Verification in ML
This chapter explores the genesis of the paper 'Quantitative Verification Aided Machine Learning' and its significance for self-adaptive IoT systems. It highlights the collaborative efforts born from discussions at the 2019 European Conference on Software Architecture, emphasizing how professional relationships can drive impactful research in software engineering.