On Complexity Certification of Active-Set QP Methods with Applications to Linear MPC. - Arnström, Daniel. (Linköping Studies in Science and Technology. Licentiate Thesis Series, 2021)