TY  - RPRT
TI  - Model Checking Linear Dynamical Systems under Floating-point Rounding
AU  - Engel Lefaucheux
AU  - Joël Ouaknine
AU  - David Purser
AU  - Mohammadamin Sharifi
PY  - 2023
UR  - https://arxiv.org/abs/2211.04301
ID  - 2211.04301
ER  -