@misc{indiciaeac949219a97e,
  title = {O-Minimal Invariants for Discrete-Time Dynamical Systems},
  author = {Shaull Almagor and Dmitry Chistikov and Joël Ouaknine and James Worrell},
  year = {2020},
  url = {https://arxiv.org/abs/1802.09263},
  note = {Source identifier: 1802.09263}
}