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:
CoRR (2017)
Keyphrases
</>
translation invariant
texture synthesis
moment invariants
projective invariants
affine invariant
analog circuits
functional programs
orbit determination
web services
expert systems
control system
hidden markov models
affine transformation
invariant features
program synthesis