Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell

Journal title: Theory of Computing Systems

Journal number: 63/5

Journal publisher: Springer Verlag

Published year: 2019

Published pages: 1027-1048

DOI identifier: 10.1007/s00224-019-09913-3

ISSN: 1432-4350