首页 /研究 /Motion planning in multi-robot systems using timed automata
SWARM

Motion planning in multi-robot systems using timed automata

Michael Skipper Andersen, Rune S. Jensen, Thomas Bak, Michael Melholt Quottrup

发表年份
2004
引用次数
11

关键词

Computer scienceMotion planningAutomatonRobotSynchronizingTestbedFormalism (music)Linear temporal logicGridKinematics

相关论文

查看 SWARM 分类全部论文