K-SMPC: Koopman Operator-Based Stochastic Model Predictive Control for Enhanced Lateral Control of Autonomous Vehicles - Kim, Jin Sung; Quan, Yingshuai; Chung, Chung Choo; Choi, Woo Young (IEEE Access, 2025)