TY  - RPRT
TI  - Termination of Real Linear Loops
AU  - Eike Neumann
AU  - Margret Tembo
PY  - 2026
UR  - https://arxiv.org/abs/2605.00947
ID  - 2605.00947
ER  -