Home /Research /Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications
SWARM

Hierarchical multi-robot strategies synthesis and optimization under individual and collaborative temporal logic specifications

Ruofei Bai, Ronghao Zheng, Yang Xu, Meiqin Liu, Senlin Zhang

Year
2022
Citations
13

Keywords

Computer scienceLinear temporal logicRobotTask (project management)ScalabilityTemporal logicSequence (biology)AutomatonDistributed computingFinite-state machine

Related papers

Browse all SWARM papers