TY  - RPRT
TI  - Full LTL Synthesis over Infinite-state Arenas
AU  - Shaun Azzopardi
AU  - Luca Di Stefano
AU  - Nir Piterman
AU  - Gerardo Schneider
PY  - 2025
DO  - 10.1007/978-3-031-98685-7_13
UR  - https://arxiv.org/abs/2307.09776
ID  - 2307.09776
ER  -