Login / Signup
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs.
Assalé Adjé
Pierre-Loïc Garoche
Published in:
Comput. Lang. Syst. Struct. (2017)
Keyphrases
</>
functional programs
affine invariant
machine learning
control program
control method
control system
optimal control
semi automatic
inductive learning
concept learning
imperative programs
neural network
automatic programming
program synthesis
recursive programs