TY  - RPRT
TI  - ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
AU  - Ohad Asor
PY  - 2026
UR  - https://arxiv.org/abs/2605.12539
ID  - 2605.12539
ER  -