K-SMPC: Koopman Operator-Based Stochastic Model Predictive Control for Enhanced Lateral Control of Autonomous Vehicles | IEEE Journals & Magazine | IEEE Xplore