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, Didier Henrion
January 2018
Type
Conference paper
Publication
LPAR-22, 22st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, November 16-21, 2018
own
Avatar
Guillaume Davy
Formal method Engineer @ Alstom

Related