TY  - RPRT
TI  - Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
AU  - Philippe Heim
AU  - Rayna Dimitrova
PY  - 2024
UR  - https://arxiv.org/abs/2411.07078
ID  - 2411.07078
ER  -