机译:使用UxAS的具有时间规格的多辆车的任务计划
Motion PlanningFormal SpecificationsUxASProcess Algebra;
机译:在时空复杂环境中操作的水下机器人的任务和运动计划
机译:线性时间逻辑车辆路由及其在多无人机任务计划中的应用
机译:多种无人机的分层协同任务计划机制
机译:使用uxas具有时间规范的多辆车的任务规划
机译:使用启发式和元启发式技术的由多个特工驾驶的无人水面飞行器的自主任务计划
机译:拉格朗日相干结构辅助路径规划用于越洋自主水下航行器任务
机译:自主无人车辆工作台:用于基于物理的X3D可视化的任务计划,任务排练和任务重放工具