Distributed implementations of global temporal logic motion specifications - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Marius Kloetzer, Calin Belta. Distributed implementations of global temporal logic motion specifications. In 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA. pages 393-398, IEEE, 2008. [doi]

The following publications are possibly variants of this publication:

Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion SpecificationsMarius Kloetzer, Calin Belta. trob, 26(1):48-61, 2010. [doi]

Motion planning and control from temporal logic specifications with probabilistic satisfaction guaranteesMorteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta. icra 2010: 3227-3232 [doi]

runs on WebDSL