TY  - RPRT
TI  - Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem
AU  - Nathanaël Fijalkow
AU  - Pierre Ohlmann
AU  - Joël Ouaknine
AU  - Amaury Pouly
AU  - James Worrell
PY  - 2017
UR  - https://arxiv.org/abs/1701.02162
ID  - 1701.02162
ER  -