TY  - RPRT
TI  - Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version)
AU  - Philippe Heim
AU  - Rayna Dimitrova
PY  - 2023
UR  - https://arxiv.org/abs/2301.10032
ID  - 2301.10032
ER  -