Koord: Language and analysis for robust, distributed, cyber-physical systems
Porting code across simple mobile robots

Yixiao Lin and Sayan Mitra and Shuting Li

Starl: Towards a unified framework for programming, simulating and verifying distributed robotic systems

Yixiao Lin and Sayan Mitra
ACM SIGPLAN Notices, 2015

Slides from Talks

Koord: A physical coordination and control language

slides, pdf

Car Documentation