“…The parametrized alphabet reflects the number of processes. Similar to the results in our paper, the synthesis problem in [5] is undecidable in the general case but turns decidable when the number of processes that are controllable by the environment is bounded, while the number of system processes remains unbounded. In [26], a parametrized extension of the Church Synthesis Problem of MSO Logic over (N, <) is considered.…”