- idUS
- Listar por autor
Listar por autor "Inverso, Omar"
Mostrando ítems 1-1 de 1
-
Artículo
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems
Krupa García, Pablo; Inverso, Omar; Tribastone, Mirko; Bemporad, Alberto (Elsevier, 2024-01)In safety-critical applications that rely on the solution of an optimization problem, the certification of the optimization ...