The pseudo-reachability problem for diagonalisable linear dynamical systems - D'Costa, J; Karimov, T; Majumdar, R; Ouaknine, J; Salamati, M; Worrell, J (Leibniz International Proceedings in Informatics (LIPIcs), 2022)