NASA PROGRAMS; DEEP SPACE 1 MISSION; ARTIFICIAL INTELLIGENCE; PLANNING; artificial intelligence; autonomous planners; model checking; EXHAUSTING;
机译:用于庞巴特特代理商的多头路路径规划人工智能策划者
机译:生物和人工认知:通过使用人工智能计划技术对物理认知问题进行建模,我们可以从中学到什么机制?
机译:使用人工智能计划模型的公共交通网络中的旅行计划
机译:模型检查自治规划者:甚至必须验证最佳奠定的计划
机译:支持劳动力预测和计划的决策模型和人工智能。
机译:生物和人工认知:通过使用人工智能计划技术对物理认知问题进行建模我们可以从中学到什么机制?
机译:模型检查自治计划员:即使是最佳布置的计划也必须得到验证
机译:验证aI计划模型:即使是最好的计划也需要验证