Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano 0002. A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. In Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes 0001, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture, editors, Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers. Volume 13230 of Lecture Notes in Computer Science, pages 317-332, Springer, 2021. [doi]
Abstract is missing.