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.
First name
Diogo
Last name
Soares