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 2025)