Exact Complexity Certification of a Standard Primal Active-Set Method for Quadratic Programming. - Daniel Arnström; Daniel Axehill (CDC, 2019)

Exact Complexity Certification of a Nonnegative Least-Squares Method for Quadratic Programming. - Daniel Arnström; Alberto Bemporad; Daniel Axehill (IEEE Control. Syst. Lett., 2020)

Semi-Explicit Linear MPC Using a Warm-Started Active-Set QP Algorithm with Exact Complexity Guarantees. - Daniel Arnström; Daniel Axehill (CDC, 2021)

An Efficient Dual Active-Set Solver for Embedded Model Predictive Control. - Daniel Arnström; Daniel Axehill (CoRR, 2021)

Complexity Certification of Proximal-Point Methods for Numerically Stable Quadratic Programming. - Daniel Arnström; Alberto Bemporad; Daniel Axehill (IEEE Control. Syst. Lett., 2021)

Overall Complexity Certification of a Standard Branch and Bound Method for Mixed-Integer Quadratic Programming. - Shamisa Shoja; Daniel Arnström; Daniel Axehill (ACC, 2022)

Lift, Partition, and Project: Parametric Complexity Certification of Active-Set QP Methods in the Presence of Numerical Errors. - Daniel Arnström; Daniel Axehill (CDC, 2022)

Exact Complexity Certification of a Standard Branch and Bound Method for Mixed-Integer Linear Programming. - Shamisa Shoja; Daniel Arnström; Daniel Axehill (CDC, 2022)

A Linear Programming Method Based on Proximal-Point Iterations With Applications to Multi-Parametric Programming. - Daniel Arnström; Alberto Bemporad; Daniel Axehill (IEEE Control. Syst. Lett., 2022)

A Unifying Complexity Certification Framework for Active-Set Methods for Convex Quadratic Programming. - Daniel Arnström; Daniel Axehill (IEEE Trans. Autom. Control., 2022)

A Dual Active-Set Solver for Embedded Quadratic Programming Using Recursive LDL$^{T}$ Updates. - Daniel Arnström; Alberto Bemporad; Daniel Axehill (IEEE Trans. Autom. Control., 2022)

Real-Time Certified MPC: Reliable Active-Set QP Solvers. - Daniel Arnström (2023)

A High-Performant Multi-Parametric Quadratic Programming Solver. - Daniel Arnström; Daniel Axehill (CDC, 2024)

Stealthy Deactivation of Safety Filters. - Daniel Arnström; André M. H. Teixeira (ECC, 2024)

Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control. - Daniel Arnström; David Broman; Daniel Axehill (IEEE Trans. Autom. Control., 2024)

Data-Driven and Stealthy Deactivation of Safety Filters. - Daniel Arnström; André M. H. Teixeira (L4DC, 2025)

A Unifying Complexity-Certification Framework for Branch-and-Bound Algorithms for Mixed-Integer Linear and Quadratic Programming. - Shamisa Shoja; Daniel Arnström; Daniel Axehill (CoRR, 2025)

Parallel Domain-Decomposition Algorithms for Complexity Certification of Branch-and-Bound Algorithms for Mixed-Integer Linear and Quadratic Programming. - Shamisa Shoja; Daniel Arnström; Daniel Axehill (CoRR, 2025)