TY  - RPRT
TI  - Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
AU  - Gricel Vázquez
AU  - Calum Imrie
AU  - Sepeedeh Shahbeigi
AU  - Nawshin Mannan Proma
AU  - Tian Gan
AU  - Victoria J Hodge
AU  - John Molloy
AU  - Simos Gerasimou
PY  - 2026
UR  - https://arxiv.org/abs/2604.07414
ID  - 2604.07414
ER  -