@misc{indiciaee91ac3eb4c1f,
  title = {Proving Abstractions of Dynamical Systems through Numerical Simulations},
  author = {Sayan Mitra},
  year = {2014},
  url = {https://arxiv.org/abs/1401.1313},
  note = {Source identifier: 1401.1313}
}