@misc{indiciae528f9e3adebf,
  title = {Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems},
  author = {Pablo Krupa and Omar Inverso and Mirco Tribastone and Alberto Bemporad},
  year = {2023},
  doi = {10.1016/j.automatica.2023.111411},
  url = {https://arxiv.org/abs/2303.16786},
  note = {Source identifier: 2303.16786}
}