TY  - RPRT
TI  - Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
AU  - Hernan Gagliardi
AU  - Victor Braberman
AU  - Sebastian Uchitel
PY  - 2025
DO  - 10.1007/978-3-031-98685-7_10
UR  - https://arxiv.org/abs/2506.16557
ID  - 2506.16557
ER  -