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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Fingerprint

Dive into the research topics of 'Experiments in verification of linear model predictive control: Automatic generation and formal verification of an interior point method algorithm∗'. Together they form a unique fingerprint.

Computer Science

Keyphrases