TY - RPRT TI - Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set AU - Julian D'Costa AU - Engel Lefaucheux AU - Eike Neumann AU - Joël Ouaknine AU - James Worrell PY - 2022 UR - https://arxiv.org/abs/2207.01550 ID - 2207.01550 ER -