Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.

Nathanal Fijalkow, Pierre Ohlmann, Jol Ouaknine, Amaury Pouly, James Worrell

Browse the full STACS paper archive.