Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
"abstractonly"
Semi-Definite Programs for Discrete-time Piecewise Affine Systems
Semidefinite Approximations of Reachable Sets for Discrete-Time Polynomial Systems
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems
Certificate-carrying modular compilation
Credible autocoding of convex optimization algorithms
Property-based polynomial invariant generation using sums-of-squares optimization
Verification of aircraft controller: from process-based certification to product-based certification
Cite
×