Robots; Planning; Uncertainty; Computational modeling; Software; Model checking; Analytical models;
机译:两种机器人类型的异构多机器人系统执行复杂计划订单履行任务的耦合任务调度
机译:基于模型的气体源定位策略,用于合作多机器人系统 - 一种概率方法和具有物理知识和模型不确定性的实验验证
机译:具有干扰的多机器人系统的任务空间跟踪控制和不确定性抑制能力
机译:MAPmAKER:在不确定性下执行多机器人LTL规划
机译:LTL运动和任务计划的图形语言。
机译:具有障碍物和保障期约束的多机器人持久保障的新型合作路径规划
机译:具有有限LTL规范和资源约束的多目标搜索,以进行最佳多机器人规划