TY  - RPRT
TI  - CTL* Verification and Synthesis using Existential Horn Clauses
AU  - Mishel Carelli
AU  - Orna Grumberg
PY  - 2024
DO  - 10.1007/978-3-031-78750-8_9
UR  - https://arxiv.org/abs/2408.11502
ID  - 2408.11502
ER  -