TY  - RPRT
TI  - Safety by Invariance, Liveness through Refinement: Heterogeneous Contract Framework for Co-Design of Layered Control
AU  - Yoshinari Takayama
AU  - Alessio Iovine
AU  - Bart Besselink
AU  - Guillaume Sandou
AU  - Adnane Saoud
PY  - 2026
UR  - https://arxiv.org/abs/2605.04222
ID  - 2605.04222
ER  -