Project
People
Workshops
Publications
Contact
Eric Feron
Professor at Georgia Tech
Georgia Tech
Latest
Credible Autocoding of The Ellipsoid Algorithm Solving Second- Order Cone Programs
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Cite
×