Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm.

Guillaume Davy, Eric Feron, Pierre-Loc Garoche, Didier Henrion

Browse the full LPAR paper archive.