Verification of Visibility-Based Properties on Multiple Moving Robots. - Ali Narenji Sheshkalani; Ramtin Khosravi; Mayssam Mohammadi (TAROS, 2017)