formal verification; safety buffers; tactical conflict detection and resolution;
机译:用于基于状态的冲突检测的横向和临时安全缓冲区的形式验证
机译:多元植物:多项式空域冲突检测的正式验证算法
机译:IVF中的PGS / PGT-A争议被称为正式的冲突解决分析
机译:基于状态的冲突检测和解决方案的安全气囊的形式验证
机译:了解解决冲突的任务负荷:在空域中实施咨询性冲突检测和解决算法。
机译:IVF中的PGS / PGT-A争议被称为正式的冲突解决分析
机译:空中机器人:高交通密度和复杂性的国家冲突检测和分辨率(检测和避免)
机译:基于状态的冲突检测和解决方案的安全缓冲器的形式验证