生成式合成场景对抗变异：将自动驾驶系统级安全验证规模扩展至百亿虚拟测试里程

深入剖析如何通过向真实车辆行驶轨迹流施加高维扰动格点矩阵，在无需人工标注的条件下自动化派生出高密度安全关键测试验证基准套件。

马尔可夫决策过程 (MDP) 扰动边界可达性证明

将车辆运动轨迹的扰动步长刚性限制在正向不变集与前向动态可达集（Forward Reachable Sets）之内，从数学上保证所有变异裂变场景均严密驻留在轮胎抓地力与动力总成物理极限之内。