An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning.

Hao Sun, Xiaoxing Ma, Tiansi Dong, Armin B. Cremers, Chun Cao

Browse the full COMPSAC paper archive.