1 paper
Ohad Drucker, Alexander Rabinovich
The classical Church synthesis problem, solved by Buchi and Landweber, treats the synthesis of finite state systems. The synthesis of infinite state systems, on the other hand, has…