TY  - RPRT
TI  - Sequential sum-of-squares programming for analysis of nonlinear systems
AU  - Torbjørn Cunis
AU  - Benoît Legat
PY  - 2022
DO  - 10.23919/acc55779.2023.10156153
UR  - https://arxiv.org/abs/2210.02142
ID  - 2210.02142
ER  -