Real-Time Certified MPC : Reliable Active-Set QP Solvers. - Arnström, Daniel. (Linköping Studies in Science and Technology. Dissertations Series, 2023)