Linear Loop Synthesis for Quadratic Invariants

From MaRDI portal

MaRDI QIDQ6513468arXivFDO

Authors S. Hitarth, George Kenison, Laura Kovács, Anton Varonka

Published in arXiv
















This page was built for publication: Linear Loop Synthesis for Quadratic Invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6513468)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Linear_Loop_Synthesis_for_Quadratic_Invariants&oldid=95385593"
Powered by MediaWiki