automotive engineering; decision making; formal verification; probability; program verification; safety-critical software; statistical analysis;
机译:深度神经网络感知模型和强大的自动驾驶系统:缓解和改进的实用解决方案
机译:自主驱动器代理的双级决策建模:在汽车之后的驾驶行为中的应用
机译:人性化驾驶:自动驾驶汽车的经验决策系统
机译:统计模型检查对自动驾驶感知和决策系统的验证
机译:将机器和统计学习技术应用于智能交通系统:瓶颈识别和预测,动态行驶时间预测,驾驶员停车行为模型以及交叉口的自主车辆控制
机译:使用统计模型检查正式验证启发式自主交叉管理
机译:通过统计模型检查验证自动驾驶自主驾驶的感知和决策系统
机译:使用模型检查验证和验证容错系统要求的过程