TY  - RPRT
TI  - Computing Invariant Reachable Sets through Sum-of-Squares Programming
AU  - Mohamed Khalid M Jaffar
PY  - 2026
UR  - https://arxiv.org/abs/2611.04325
ID  - 2611.04325
ER  -