Distributed implementations of global temporal logic motion specifications

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]

Authors

Marius Kloetzer

This author has not been identified. Look up 'Marius Kloetzer' in Google

Calin Belta

This author has not been identified. Look up 'Calin Belta' in Google