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-20T16:12:12+08:00

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

形式化验证

反应式系统合成

数据链接：

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

官方服务：

资源简介：

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

提供机构：

Zenodo

创建时间：

2024-01-20

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

资源简介：

相关数据集