Dataset for "Francisco Cirelli, Dalal Alrajeh, Sebastian Uchitel. Unavoidable Boundary Conditions: A Control Perspective on Goal Conflicts. In Proceedings of the 47th International Conference on Software Engineering 2025."
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/13317017
下载链接
链接失效反馈官方服务：
资源简介：
This is the experimental data for the paper
Francisco Cirelli, Dalal Alrajeh, Sebastian UchitelUnavoidable Boundary Conditions: A Control Perspective on Goal Conflicts. In Proceedings of the 47th International Conference on Software Engineering 2025.
We provide various specifications of reactive synthesis control problems taken from various sources. See paper for more details.
创建时间：
2024-08-14
