Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine +2

The \emph{Orbit Problem} consists of determining, given a linear transformation $A$ on ${\mathbb{Q}}^d$, together with vectors $x$ and $y$, whether the orbit of $x$ under repeated ap…