Computer Science Department, Carnegie Mellon University, Pittsburgh, PA;
Computer Science Department, Carnegie Mellon University, Pittsburgh, PA;
机译:经过正式验证的混合动力系统,可在下一代机载防撞系统中提供安全建议
机译:地铁控制系统中的屏蔽门和防撞系统的形式验证和仿真
机译:转向控制防撞系统及主题研究验证
机译:弯曲飞行碰撞避免机动的正式验证:一个案例研究
机译:小型无人机避碰机动的姿态和航向参考系统。
机译:非结构化环境下基于改进触手算法的多架无人机编队飞行与避撞
机译:弯道飞行避碰演习的形式验证:一个案例研究
机译:曲线飞行避碰机动的形式验证:个案研究