Linear Loop Synthesis for Quadratic Invariants.

S. Hitarth George Kenison Laura Kovács Anton Varonka

Published in: STACS (2024)

Keyphrases

quadratic function
objective function
pairwise
semidefinite
linear functions
data sets
machine learning
computational complexity
real time
information systems
linear programming
simple linear
program synthesis
imperative programs