机译:认知规划下协同多书系统的建模通信
机译:编译用于多主体系统的认知逻辑
机译:使用概率论逻辑规范验证并发概率论系统
机译:关于多元素系统规范计划的认识性可行性
机译:使用认知主体规范语言(CASL)指定和验证多主体系统。
机译:使用可行性剂量块直方图进行Pinnacle系统的自动规划的Plan参数的个性化设置
机译:关于多智能体系统规范中计划的认识可行性
机译:aIL在国家mLs开发计划的技术分析和合同定义阶段提出的微波着陆系统(mLs)发展计划。第3.0部分体积3.2附录a.系统技术摘要。附录B.功能要求摘要。附录C.详细的可行性硬件规格。