Formal Verification; Hybrid Systems; Automotive Systems; Car Collision Avoidance;
机译:经过正式验证的混合动力系统,可在下一代机载防撞系统中提供安全建议
机译:地铁控制系统中的屏蔽门和防撞系统的形式验证和仿真
机译:在紧急减速事件下的经验丰富和新手司机后端碰撞避免机动的比较
机译:避免机动冲突的应急演习的正式验证
机译:小型无人机避碰机动的姿态和航向参考系统。
机译:恐慌:使用虚拟化和边缘计算范例的连接车辆的新型开关和碰撞过程
机译:校正:在飞机碰撞过程中的非确定性水平转弯的正式验证定时计算
机译:曲线飞行避碰机动的形式验证:个案研究