首页 /研究 /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

发表年份
2022
引用次数
13

关键词

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

相关论文

查看 SWARM 分类全部论文