w*********
Lv.0
2020/08/05 23:58
论文阅读笔记
“Formal Specification and Verification of Autonomous Robotic Systems: A Survey“本文系统地介绍了目前自主机器人形式化规约和验证方面的最新进展，对其面临的挑战，形式化的目标和采取的方法进行了说明和分类。
领书计划详情
