TY  - RPRT
TI  - Reachability in Dynamical Systems with Rounding
AU  - Christel Baier
AU  - Florian Funke
AU  - Simon Jantsch
AU  - Toghrul Karimov
AU  - Engel Lefaucheux
AU  - Joël Ouaknine
AU  - Amaury Pouly
AU  - David Purser
AU  - Markus A. Whiteland
PY  - 2020
UR  - https://arxiv.org/abs/2009.13353
ID  - 2009.13353
ER  -