Login / Signup
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs.
Assalé Adjé
Pierre-Loïc Garoche
Published in:
VMCAI (2015)
Keyphrases
</>
linear quadratic
imperative programs
optimal control
vector valued
dynamic programming