ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures

Ohad Asor

We introduce ocLTL, the case of LTL+P modulo ω-categorical theories. We reduce its realizability and synthesis problems into the corresponding problems in propositional LTL+P. The…