From Offline Towards Real-Time Verification for Robot Systems

Rui Wang 0024, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li. From Offline Towards Real-Time Verification for Robot Systems. IEEE Trans. Industrial Informatics, 14(4):1712-1721, 2018. [doi]

Abstract

Abstract is missing.