3 papers
cs.LO2026
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.LO2025
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…
cs.LG2024
Reinforcement Learning with LTL and -Regular Objectives via Optimality-Preserving Translation to Average Rewards
Xuan-Bach Le, Dominik Wagner, Leon Witzman +2
Linear temporal logic (LTL) and, more generally, -regular objectives are alternatives to the traditional discount sum and average reward objectives in reinforcement learning (R…