Linear Loop Synthesis for Quadratic Invariants.

S. Hitarth, George Kenison, Laura Kovcs, Anton Varonka

Browse the full STACS paper archive.