Self-adaptive systems

Formal Modelling and Analysis of a Self-Adaptive Robotic System
Proc. iFM 2023. Springer 2023. To appear.
Preprint Cite Project arXiv.org Artifact
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Proc. SEAMS 2023. IEEE/ACM 2023.
Cite Project Video DOI arXiv.org Github
A Formal Model of Metacontrol in Maude
Proc. ISoLA 2022. LNCS 13701, Springer 2022.
Preprint Cite Project DOI