TY - RPRT TI - Towards Optimal Spatio-Temporal Decomposition of Control-Related Sum-of-Squares Programs AU - Vít Cibulka AU - Milan Korda AU - Tomáš Haniš PY - 2024 UR - https://arxiv.org/abs/2409.11196 ID - 2409.11196 ER -