Fijalkow, N., Ohlmann, P., Ouaknine, J., Pouly, A., & Worrell, J. (2017). Semialgebraic invariant synthesis for the Kannan-Lipton orbit problem. Schloss Dagstuhl.
Dyfyniad Arddull ChicagoFijalkow, N., P. Ohlmann, J. Ouaknine, A. Pouly, and J. Worrell. Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Schloss Dagstuhl, 2017.
Dyfyniad MLAFijalkow, N., et al. Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Schloss Dagstuhl, 2017.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.