Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
"own"
Semidefinite Approximations of Reachable Sets for Discrete-Time Polynomial Systems
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
Validation of Convex Optimization Algorithms and Credible Implementation for Model Predictive Control
Credible Autocoding of Convex Optimization Algorithms
Formal Analysis of Robustness at Model and Code Level
From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems
Hierarchical State Machines as Modular Horn Clauses
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems
A Sums-of-Squares Extension of Policy Iterations
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
«
»
Cite
×