首页 /研究 /CONTROL OF MULTI-ROBOT TEAMS BASED ON LTL SPECIFICATIONS
SWARM

CONTROL OF MULTI-ROBOT TEAMS BASED ON LTL SPECIFICATIONS

Marius Kloetzer, Călin Belta

发表年份
2007
引用次数
3

关键词

RobotDiscretizationSynchronization (alternating current)Motion (physics)Point (geometry)Transition systemComputer scienceLinear temporal logicControl engineeringAdaptation (eye)

相关论文

查看 SWARM 分类全部论文