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