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: 2026-02-14T11:15:06+08:00

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

数据链接：

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

官方服务：

资源简介：

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

提供机构：

Zenodo

创建时间：

2026-02-14

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

资源简介：

相关数据集