1. Antoniotti, M., Mishra, B.: Discrete event models + temporal logic = supervisory controller: Automatic synthesis of locomotion controllers. In: IEEE International Conference on Robotics and Automation (1995)
2. Belta, C., Habets, L.: Control of a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control 51(11), 1749–1759 (2006)
3. Chen, Y., Birch, S., Stefanescu, A., Belta, C.: A hierarchical approach to automatic deployment of robotic teams with communication constraints. In: IEEE/RSJ International Conference on Intelligent Robots & Systems, Taipei, Taiwan, pp. 5079–5084 (2010)
4. Chen, Y., Ding, X.C., Stefanescu, A., Belta, C.: A formal approach to deployment of robotic teams in an urban-like environment. Tech. rep., Boston University (2010), hyness.bu.edu/dars
5. Choset, H., Lynch, K., Hutchinson, S., Kantor, G., Burgard, W., Kavraki, L., Thrun, S.: Principles of Robot Motion: Theory, Algorithms, and Implementations. MIT Press (2005)