Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Synthesis of Infinite State Systems
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…
cs.LO2024
The Church Synthesis Problem over Continuous Time
Alexander Rabinovich, Daniel Fattal
The Church Problem asks for the construction of a procedure which, given a logical specification A(I,O) between input omega-strings I and output omega-strings O, determines whether…