Theorem proving; Aircraft approach spacing; Detection; Algorithms; Polynomials; Trajectories; Mathematical models; Air traffic control; Collision avoidance; Nonlinearity; Linearity; Quadratic equations; Three dimensional models;
机译:多元植物:多项式空域冲突检测的正式验证算法
机译:用于基于状态的冲突检测的横向和临时安全缓冲区的形式验证
机译:减少和抽象进行分布式圆形算法正式验证
机译:多项式轨迹的形式验证冲突检测算法
机译:布尔量化技术及其在形式验证中的应用:算法和分析。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:冲突检测算法的形式验证