A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems | Publicación