论文元数据
- 作者
- Matt Luckcuck、Marie Farrell、Louise A. Dennis、Clare Dixon、Michael Fisher
- 机构
- University of Liverpool
- 发布日期精度
- 日
- 研究方向
- 视觉识别
- 机器人
- 未关联具体机器人
- DOI
- 10.1145/3342355
- arXiv
- 未披露
- 引用元数据
- 269
- 记录状态
- included
- 质量检查
- 无自动质量红旗
论文记录 · 证据边界公开
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys · 2019-09-13 · 视觉识别