Login / Signup
Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.
Nathanaël Fijalkow
Pierre Ohlmann
Joël Ouaknine
Amaury Pouly
James Worrell
Published in:
STACS (2017)
Keyphrases
</>
affine transformation
affine invariant
texture synthesis
program synthesis
invariant features
data sets
databases
machine learning
decision trees
multi agent
data structure
evolutionary algorithm
analog circuits
preserving transformations