Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety

机译：自主驾驶系统硬件和软件架构探索：在安全约束下优化延迟和成本

机译：自动车辆驱动控制的不确定性建模与运行时验证：基于机器学习的方法

机译：智能控制系统实验室的协作式自动驾驶

机译：实际使用信息提供系统来确保安全驾驶的验证测试（DSSS：驾驶安全支持系统）

机译：具有安全意识的智能交通系统：车辆网络的协作自动驾驶。

机译：使用智能手机通过路径预测和预警来确保道路使用者的脆弱性：深入研究功能局限性及其在协作式智能交通系统中的应用

机译：移动机器人网真系统的半自主合作驾驶

机译：使用可解释的人工智能来警告潜在风险情况来提供功能安全的学习方法和设备，以可解释的人工智能验证自动驾驶网络的检测过程，并使用它们。 Sting方法和测试装置{用于通过使用可解释的AI来提供关于潜在危险情况的警告驱动器提供功能安全的学习方法和学习设备，该方法验证自动驾驶网络的检测过程，以及使用相同的测试方法和测试设备}

机译：通过使用可解释的人工智能来警告驾驶员潜在风险状况的功能来提供安全性的学习方法和设备，这些人工智能可验证自动驾驶网络的检测过程，并使用此类学习设备。 ing的方法和测试设备{通过使用可行的AI来验证潜在危险情况，以警告驾驶员，以提供功能安全来学习功能和学习装置，并使用该工具进行测试，测试和测试

机译：基于用户驾驶控制和自主驾驶的电动汽车充电电动汽车，可通过中央控制和调节器控制确保驾驶安全