Decidability boundaries in linear dynamical systems. - Joao Moreira de Sousa Pinto (2017)