Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Assalé Adjé
,
Pierre-Loïc Garoche
January 2014
PDF
Type
Report
Publication
CoRR
own
Related
Credible Autocoding of Convex Optimization Algorithms
Synthesizing Modular Invariants for Synchronous Code
Testing-Based Compiler Validation for Synchronous Languages
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison
A Sums-of-Squares Extension of Policy Iterations
Cite
×