Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
arXiv:1701.02162.pdf (Preprint), 493KB
Fijalkow, N., Ohlmann, P., Ouaknine, J., Pouly, A., & Worrell, J. (2017). Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Retrieved from http://arxiv.org/abs/1701.02162.