TY  - RPRT
TI  - What's Decidable about Discrete Linear Dynamical Systems?
AU  - Toghrul Karimov
AU  - Edon Kelmendi
AU  - Joël Ouaknine
AU  - James Worrell
PY  - 2022
UR  - https://arxiv.org/abs/2206.11412
ID  - 2206.11412
ER  -