首页 /研究 /A framework for multi-robot motion planning from temporal logic specifications
SWARM

A framework for multi-robot motion planning from temporal logic specifications

T. John Koo, Rongqing Li, Michael Melholt Quottrup, Charles A. Clifton, Roozbeh Izadi‐Zamanabadi, Thomas Bak

发表年份
2012
引用次数
14

关键词

Computer scienceTemporal logicMotion (physics)Temporal logic of actionsRobotArtificial intelligenceProgramming languageComputer visionInterval temporal logic

相关论文

查看 SWARM 分类全部论文