Automata; Heuristic algorithms; Trajectory; Task analysis; Robot kinematics;
机译:基于反应采样的路径规划,具有时间逻辑规范
机译:加固学习在具有共安全时间逻辑规范的移动机器人路径规划中的应用
机译:具有时间逻辑规范的基于物理的运动计划
机译:具有共同安全线性时序逻辑规范的多机器人系统基于采样的路径规划
机译:基于图表的路径规划方法,使用线性时间逻辑具有动态障碍的路径规划
机译:基于蚁群算法的A *启发式移动机器人路径规划
机译:基于采样的多机器人系统路径规划,具有共同安全的线性时序逻辑规范
机译:sUas自动驾驶仪计算约束内启发式路径规划和导航算法板载处理的可行性。