@misc{indiciaea26c5f7bb30c,
  title = {Spatio-Temporal Decomposition of Sum-of-Squares Programs for the Region of Attraction and Reachability},
  author = {Vít Cibulka and Milan Korda and Tomáš Haniš},
  year = {2021},
  url = {https://arxiv.org/abs/2103.03531},
  note = {Source identifier: 2103.03531}
}