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

Year
2004
Citations
11

Keywords

Computer scienceMotion planningAutomatonRobotSynchronizingTestbedFormalism (music)Linear temporal logicGridKinematics

Related papers

Browse all SWARM papers