HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Eric Feron

Publications
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Guillaume Davy, Eric Feron, Pierre-Loic Garoche and Didier Henrion
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

convex optimization, interior point method, Model Predictive Control, Numerical Software Verification, program analysis, Satisfiability Modulo Theory.

Copyright © 2012-2025 easychair.org. All rights reserved.