Casimiro, M. ., Soares, D. ., Garlan, D. ., Rodrigues, L. ., & Romano, P. . (2024). Self-Adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework. ACM Transactions on Autonomous and Adaptive Systems. (Original work published 2024)