Pierre-Lo\"ic Garoche (Toulouse)

Identifiers

• name variant Pierre-Lo\"ic Garoche (Toulouse) 0.60 · backfill

Papers (3)

1. Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm cs.LO · 2018 · author #3
2. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization cs.LO · 2015 · author #2
3. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs math.OC · 2014 · author #2

Mentions

• 1801.03833 #3 · arxiv_oai · confidence 0.70 Pierre-Lo\"ic Garoche (Toulouse)
• 1409.5089 #2 · arxiv_oai · confidence 0.70 Pierre-Lo\"ic Garoche (Toulouse)
• 1503.07025 #2 · backfill · confidence 0.70 Pierre-Lo\"ic Garoche (Toulouse)
• 1409.5089 #2 · backfill · confidence 0.70 Pierre-Lo\"ic Garoche (Toulouse)

Frequent Coauthors

• Assal\'e Adj\'e (Toulouse) 1 shared papers
• Assal\'e Adje (Toulouse) 1 shared papers
• Didier Henrion (LAAS-MAC) 1 shared papers
• Eric F\'eron (GATECH) 1 shared papers
• Guillaume Davy (Toulouse) 1 shared papers
• Victor Magron 1 shared papers