Formal Specification and Verification of Autonomous Robotic Systems: A Survey
专题命中 机器人数据与评测 :robotic(title,abstract);robotics(abstract);分类 cs.RO
Comments 32 pages (in this format) resubmitted to ACM CSUR
Journal ref ACM Computing Surveys, Volume 52, Issue 5, (2019) Article No.: 100, pp 1-41