TY  - RPRT
TI  - Unraveling tensor structures in correct-by-design controller synthesis
AU  - Ruohan Wang
AU  - Zhiyong Sun
AU  - Sofie Haesaert
PY  - 2026
UR  - https://arxiv.org/abs/2503.24085
ID  - 2503.24085
ER  -