Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications

Name: Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Creator: Zenodo
Published: 2024-01-03T11:12:42+08:00

Zenodo2024-01-22 更新2026-05-26 收录

数据链接：

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

官方服务：

资源简介：

Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications

提供机构：

Zenodo

创建时间：

2024-01-03

Artifact for ICSE'24 paper: Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications

资源简介：

相关数据集