首页 /研究 /Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications
SWARM

Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications

Huanfei Zheng, Yue Wang

发表年份
2021
引用次数
4

关键词

Task (project management)RobotComputer scienceAutomatonFinite-state machineDecompositionLinear temporal logicSet (abstract data type)Motion planningScalability

相关论文

查看 SWARM 分类全部论文