@misc{indiciae987310fe3799,
  title = {Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems},
  author = {Tommaso Dreossi},
  year = {2016},
  url = {https://arxiv.org/abs/1607.02200},
  note = {Source identifier: 1607.02200}
}