Aircraft; Atmospheric modeling; Computational modeling; Analytical models; Probabilistic logic; Collision avoidance; Safety;
机译:经过正式验证的混合动力系统,可在下一代机载防撞系统中提供安全建议
机译:使用概率模型检查验证无人水面车辆的避碰行为
机译:下一代机载防撞系统的概率验证和综合
机译:下一代空中碰撞避免系统的概率模型检查
机译:适用于小型UAS感知和回避系统的机载碰撞检测和回避。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:经过正式验证的下一代机载防撞系统中用于安全咨询的混合系统