A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Maria Casimiro' in GoogleThis author has not been identified. Look up 'David Garlan' in GoogleThis author has not been identified. It may be one of the following persons:

Look up 'Javier Cámara' in GoogleThis author has not been identified. Look up 'Luís Rodrigues' in GoogleThis author has not been identified. Look up 'Paolo Romano 0002' in Google

runs on WebDSL