BriefGPT.xyz
Sep, 2022
从需求到自主机器人:ROS2 监测
Monitoring ROS2: from Requirements to Autonomous Robots
HTML
PDF
Ivan Perez, Anastasia Mavridou, Tom Pressburger, Alexander Will, Patrick J. Martin
TL;DR
本文提供一种正式方法来从结构化自然语言中的要求生成自主机器人的运行时监控器,以对安全关键系统进行运行时验证,从而保证相关任务的安全性。
Abstract
runtime verification
(
rv
) has the potential to enable the safe operation of
safety-critical systems
that are too complex to formally verif
→