TY - RPRT TI - Verifying performance, stability, and feasibility of inexact non-linear model predictive controllers AU - Rajiv Sambharya AU - Sribalaji C. Anand AU - George Pappas PY - 2026 UR - https://arxiv.org/abs/2609.14920 ID - 2609.14920 ER -