Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
A Sums-of-Squares Extension of Policy Iterations
Assalé Adjé
,
Pierre-Loïc Garoche
,
Victor Magron
January 2015
PDF
Type
Report
Publication
CoRR
own
Related
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Certificate-carrying modular compilation
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Credible autocoding of convex optimization algorithms
Property-based polynomial invariant generation using sums-of-squares optimization
Cite
×