Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Fijalkov, Nathanaël; Ohlmann, Pierre; Ouaknine, Joël; Pouly, Amaury; Worrell, James

doi:10.1007/s00224-019-09913-3

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Zeitschriftenartikel

Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

MPG-Autoren

/persons/resource/persons217847

Ouaknine, Joël
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons215326

Pouly, Amaury
Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen

https://rdcu.be/czgKQ
(Verlagsversion)

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

complete-semialgebraic-invariants19.pdf
(Preprint), 357KB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Fijalkov, N., Ohlmann, P., Ouaknine, J., Pouly, A., & Worrell, J. (2019). Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Theory of Computing Systems, 63, 1027-1048. doi:10.1007/s00224-019-09913-3.

Zitierlink: https://hdl.handle.net/21.11116/0000-0005-D9C2-B

Zusammenfassung

Es ist keine Zusammenfassung verfügbar