@misc{indiciae18c787aaf879,
  title = {What's Decidable about Discrete Linear Dynamical Systems?},
  author = {Toghrul Karimov and Edon Kelmendi and Joël Ouaknine and James Worrell},
  year = {2022},
  url = {https://arxiv.org/abs/2206.11412},
  note = {Source identifier: 2206.11412}
}