Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set

Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell 0001. Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. In Stefan Szeider, Robert Ganian, Alexandra Silva 0001, editors, 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria. Volume 241 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Abstract

Abstract is missing.