Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems

Pablo Krupa, Omar Inverso, Mirco Tribastone +1

In safety-critical applications that rely on the solution of an optimization problem, the certification of the optimization algorithm is of vital importance. Certification and subo…