Login / Signup
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs.
Assalé Adjé
Pierre-Loïc Garoche
Published in:
CoRR (2014)
Keyphrases
</>
linear quadratic
imperative programs
machine learning
dynamical systems
support vector machine
optimal control
linear model
vector valued