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