Fijalkow, N., Ohlmann, P., Ouaknine, J., Pouly, A., & Worrell, J. (2017). Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem. Schloss Dagstuhl.

Fijalkow, N., P. Ohlmann, J. Ouaknine, A. Pouly, and J. Worrell. Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Schloss Dagstuhl, 2017.

Fijalkow, N., et al. Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Schloss Dagstuhl, 2017.