Data from: Test Coverage of Automated Robotic Systems in Open World Environments

Name: Data from: Test Coverage of Automated Robotic Systems in Open World Environments
Creator: Zenodo
Published: 2025-12-05T09:05:31+08:00

Zenodo2026-02-27 更新2026-05-26 收录

机器人系统验证

形式化测试覆盖度

数据链接：

https://zenodo.org/doi/10.5281/zenodo.17775279 数据链接链接失效反馈

官方服务：

资源简介：

Reproduction artifact of the Formal Methods (FM) 2026 paper "Test Coverage of Automated Robotic Systems in Open World Environments"

提供机构：

Zenodo

创建时间：

2025-12-05

Data from: Test Coverage of Automated Robotic Systems in Open World Environments

资源简介：

相关数据集