Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
"own"
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison
Credible Autocoding of Convex Optimization Algorithms
Open-loop analysis of the control program: first proposal WP2 D2.1
Preliminary report on clock directed verification and invariant generation WP1 D1.1
Projet CAFEIN - Rapport avancement RA 2/21071
Quadratic Zonotopes: An extension of Zonotopes to Quadratic Arithmetics
Rapport d'avancement Forces3 – 1ère année RA 1/21534
Synthesizing Modular Invariants for Synchronous Code
«
»
Cite
×