Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
Certificate-carrying modular compilation
Pierre-Loic Garoche
January 2015
Cite
Type
Conference paper
Publication
10èmes Journées compilation du GDR GPL
"abstractonly"
"own"
Related
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
Verification of aircraft controller: from process-based certification to product-based certification
Credible autocoding of convex optimization algorithms
Cite
×