A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems.

Maria Casimiro, David Garlan, Javier Cmara, Lus Rodrigues, Paolo Romano

Browse the full SEFM paper archive.