Runtime Verification of Robots Collision Avoidance Case Study.

Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi

Browse the full COMPSAC paper archive.