TY  - RPRT
TI  - Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
AU  - Guillaume Davy
AU  - Eric Féron
AU  - Pierre-Loïc Garoche
AU  - Didier Henrion
PY  - 2018
UR  - https://arxiv.org/abs/1801.03833
ID  - 1801.03833
ER  -