Home /Research /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

Year
2021
Citations
4

Keywords

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

Related papers

Browse all SWARM papers