Provably Correct Closed-Loop Control for Multiple Mobile Robot Systems

Elzbieta Roszkowska. Provably Correct Closed-Loop Control for Multiple Mobile Robot Systems. In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, April 18-22, 2005, Barcelona, Spain. pages 2810-2815, IEEE, 2005.

Abstract

Abstract is missing.