自主机器人系统形式化规约与验证综述
软件工程
2021-01-29 v1
摘要
自主机器人系统复杂、混合且常常关乎安全关键；这使其形式化规约与验证极具挑战性。尽管测试与仿真常用，但仅凭它们不足以确保自主机器人的正确性，或为其认证提供充分证据。自主机器人形式化方法在文献中已受到一定关注，但尚无资源提供当前的概览。本短文总结了 Luckcuck 2019 的成果，该文调研了自主机器人形式化规约与验证的最新技术水平。
引用
@article{arxiv.1911.11597,
title = {A Summary of Formal Specification and Verification of Autonomous Robotic Systems},
author = {Matt Luckcuck and Marie Farrel and Louise A. Dennis and Michael Fisher},
journal= {arXiv preprint arXiv:1911.11597},
year = {2021}
}