Project
People
Workshops
Publications
Contact
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
November 2018
Cite
Type
Conference paper
Publication
LPAR-22, 22st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, November 16-21, 2018
Guillaume Davy
PhD student (2015-2018)
Cite
×