Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs
Cohen Raphael
,
Eric Feron
,
Pierre-Loic Garoche
December 2018
Type
Conference paper
Publication
2018 IEEE Conference on Decision and Control (CDC), Fontainebleau, Miami Beach, FL, USA
own
Related
Ensuring functional correctness of cyber-physical system controllers: from model to code analyses
Formal verification of an interior point algorithm instanciation
A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
Foundations of Intelligent Additive Manufacturing
Cite
×