Pierre-Loic Garoche

Verification and Validation of Convex Optimization Algorithms for Model Predictive Control pdf

Raphael Cohen, Eric F'eron, Pierre-Loic Garoche, 2020, Journal of Aerospace Information Systems.

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained

Johann Schumann, Pierre-Loic Garoche, Anastasia Mavridou, 2020, 2020 IEEE 28th International Requirements Engineering Conference (RE).

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems

Didier Henrion, Victor Magron, Pierre-Loic Garoche, 2017, SIAM J. Control. Optim..