Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell 0001. Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Theory Comput. Syst., 63(5):1027-1048, 2019. [doi]
@article{FijalkowOOPW19, title = {Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem}, author = {Nathanaël Fijalkow and Pierre Ohlmann and Joël Ouaknine and Amaury Pouly and James Worrell 0001}, year = {2019}, doi = {10.1007/s00224-019-09913-3}, url = {https://doi.org/10.1007/s00224-019-09913-3}, researchr = {https://researchr.org/publication/FijalkowOOPW19}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {63}, number = {5}, pages = {1027-1048}, }