Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control. - Hernán Gagliardi; Víctor A. Braberman; Sebastián Uchitel (CAV (4), 2025)

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control. - Hernán Gagliardi; Víctor A. Braberman; Sebastián Uchitel (CoRR, 2025)