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."

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.