@misc{indiciae9fcfb687c27e,
  title = {Reachability in Dynamical Systems with Rounding},
  author = {Christel Baier and Florian Funke and Simon Jantsch and Toghrul Karimov and Engel Lefaucheux and Joël Ouaknine and Amaury Pouly and David Purser and Markus A. Whiteland},
  year = {2020},
  url = {https://arxiv.org/abs/2009.13353},
  note = {Source identifier: 2009.13353}
}