Estimation; Probabilistic logic; Model checking; Heuristic algorithms; Vehicle dynamics; Computational modeling; Stochastic processes;
机译:自动驾驶中基于模型的概率碰撞检测
机译:自主驾驶概率学习模型中的数据驱动转换矩阵估计
机译:统计模型在风险分析中的适用性-预防右转碰撞的支持系统的概率模型
机译:自动驾驶概率碰撞风险估计的形式验证
机译:使用统计降尺度方法对区域气候变化进行概率估计和验证
机译:基于概率不确定性建模的自主驾驶概率不确定性建模的语义点云映射
机译:自主驾驶概率碰撞风险估算的正式验证