On LTL model-checking for low-dimensional discrete linear dynamical systems (45th International Symposium on Mathematical Foundations of Computer Science, 2020)

(untitled) - Karimov, T; Ouaknine, J; Worrell, J