Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
"own"
Improving the Numerical Accuracy of Parallel Programs by Data Mapping
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs
Ensuring functional correctness of cyber-physical system controllers: from model to code analyses
Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Formal verification of an interior point algorithm instanciation
A Sums-of-Squares Extension of Policy Iterations
Automated analysis of Stateflow models
«
»
Cite
×