Login / Signup
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm.
Guillaume Davy
Eric Feron
Pierre-Loïc Garoche
Didier Henrion
Published in:
LPAR (2018)
Keyphrases
</>
formal verification
improved algorithm
linear systems
model checking
worst case
automated verification
dynamic programming
np hard
optimal solution
learning algorithm
lower bound
computationally intensive
objective function
neural network
denoising
computational complexity
convergence rate
primal dual