Eric F\'eron (GATECH)

Identifiers

• name variant Eric F\'eron (GATECH) 0.60 · backfill

Papers (1)

1. Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm cs.LO · 2018 · author #2

Mentions

• 1801.03833 #2 · arxiv_oai · confidence 0.70 Eric F\'eron (GATECH)

Frequent Coauthors

• Didier Henrion (LAAS-MAC) 1 shared papers
• Guillaume Davy (Toulouse) 1 shared papers
• Pierre-Lo\"ic Garoche (Toulouse) 1 shared papers