All Stories

  1. Self-adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework

    Article • ACM Transactions on Autonomous and Adaptive Systems, September 2024, ACM (Association for Computing Machinery)

    Luis Rodrigues, Maria Casimiro