StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. - Yixiao Lin; Sayan Mitra (LCTES, 2015)

Porting Code Across Simple Mobile Robots. - Yixiao Lin; Sayan Mitra; Shuting Li (CoRR, 2016)