@misc{indiciae38191a89692d,
  title = {Sequential sum-of-squares programming for analysis of nonlinear systems},
  author = {Torbjørn Cunis and Benoît Legat},
  year = {2022},
  doi = {10.23919/acc55779.2023.10156153},
  url = {https://arxiv.org/abs/2210.02142},
  note = {Source identifier: 2210.02142}
}