@misc{indiciae688a6a9c61ac, title = {Sum-of-Squares Stability Verification on Manifolds with Applications in Spacecraft Attitude Control}, author = {Fabian Geyer and Friedrich Tuttas and Walter Fichter and Torbjørn Cunis}, year = {2026}, doi = {10.1016/j.ejcon.2026.101587}, url = {https://arxiv.org/abs/2604.13727}, note = {Source identifier: 2604.13727} }