TY  - RPRT
TI  - A Formal Resilience Framework for Cyber-Physical Embodied Systems under Device-Level Cyberattacks
AU  - Alberto Giaretta
PY  - 2026
UR  - https://arxiv.org/abs/2606.16467
ID  - 2606.16467
ER  -