Scenario MPC with STL Specifications and Pareto-Based Feasibility Repair
A model predictive control framework that treats feasibility repair as a Pareto optimization problem to explicitly characterize tradeoffs among agent objectives is proposed and a probabilistic certificate on STL violation rate is provided to formally quantify uncertainty under stochastic and uncontrollable agents.