Ali Narenji Sheshkalani, Ramtin Khosravi, Mohammad K. Fallah. Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties. In Clare Dixon, Karl Tuyls, editors, Towards Autonomous Robotic Systems - 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings. Volume 9287 of Lecture Notes in Computer Science, pages 186-191, Springer, 2015. [doi]
Abstract is missing.