Home /Research /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

Year
2012
Citations
14

Keywords

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

Related papers

Browse all SWARM papers