Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
4
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
A Sums-of-Squares Extension of Policy Iterations
Formal specification of Projet P toolset requirements - SP5.T4
Projet CAFEIN - Rapport avancement RA 3/21071
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
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
«
»
Cite
×