Vincent D. Blondel, Olivier Bournez, Pascal Koiran, John N. Tsitsiklis. The stability of saturated linear dynamical systems is undecidable.
17th International Symposium on Theoretical Aspects of Computer Science - STACS'2000, LIFL, 2000, Lille, France, pp.479-490.
⟨inria-00099336⟩