Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Property-based polynomial invariant generation using sums-of-squares optimization
Assalé Adjé
,
Pierre-Loic Garoche
,
Victor Magron
January 2015
Type
Conference paper
Publication
17th British-French-German Conference on Optimization 15-17 June 2015 London, United Kingdom
abstractonly
own
Assalé Adjé
Associate Professor at Univ. of Perpignan
Related
Practical Policy Iterations A practical use of policy iterations for static analysis - The quadratic case.
Closed Loop Analysis of Control Command Software
Compilation Of Synchronous Observers As Code Contracts
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Cite
×