HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:interior point method

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
Copyright © 2012-2025 easychair.org. All rights reserved.