Formal Modeling and Automatic Code Synthesis for Robot System.

Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song

Browse the full ICECCS paper archive.