Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2017/7005/ (Publisher version)
Fijalkow, N., Ohlmann, P., Ouaknine, J., Pouly, A., & Worrell, J. (2017). Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. In H. Vollmer, & B. Vallée (Eds.), 34th Symposium on Theoretical Aspects of Computer Science (pp. 1-13). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.STACS.2017.29.