Discretizing the State Space of Multiple Moving Robots to Verify Visibility Properties. - Ali Narenji Sheshkalani; Ramtin Khosravi; Mohammad K. Fallah (TAROS, 2015)

Clearing an Orthogonal Polygon Using Sliding Robots. - Mohammad Ghodsi; Salma Sadat Mahdavi; Ali Narenji Sheshkalani (CoRR, 2016)

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