Home /Research /CONTROL OF MULTI-ROBOT TEAMS BASED ON LTL SPECIFICATIONS
SWARM

CONTROL OF MULTI-ROBOT TEAMS BASED ON LTL SPECIFICATIONS

Marius Kloetzer, Călin Belta

Year
2007
Citations
3

Keywords

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

Related papers

Browse all SWARM papers