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

Item

ITEM ACTIONSEXPORT

Add to Basket

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_3213508_3

DetailsSummary

Released

Journal Article

Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

MPS-Authors

/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;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

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.

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

Abstract

There is no abstract available