Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Credible Autocoding of Convex Optimization Algorithms
Timothy Wang
,
Romain Jobredeaux
,
Marc Pantel
,
Pierre-Loïc Garoche
,
Eric Feron
,
Didier Henrion
January 2014
PDF
Type
Report
Publication
CoRR
own
Related
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
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Cite
×