Dung Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. In Ezio Bartocci, Rupak Majumdar, editors, Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. Volume 9333 of Lecture Notes in Computer Science, pages 201-215, Springer, 2015. [doi]
Abstract is missing.