TY  - RPRT
TI  - Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems
AU  - Pablo Krupa
AU  - Omar Inverso
AU  - Mirco Tribastone
AU  - Alberto Bemporad
PY  - 2023
DO  - 10.1016/j.automatica.2023.111411
UR  - https://arxiv.org/abs/2303.16786
ID  - 2303.16786
ER  -