What kind of restrictions that we have to make on the structure of interacting components so that the problem of distributed synthesis is decidable? I also wants to have more insights about the computational complexity.

More Yehia Abd ALrahman's questions See All
Similar questions and discussions