TY - RPRT TI - The Church Synthesis Problem over Continuous Time AU - Alexander Rabinovich AU - Daniel Fattal PY - 2025 DO - 10.46298/lmcs-21(3:8)2025 UR - https://arxiv.org/abs/2404.04782 ID - 2404.04782 ER -