Bansal, S.; Li, Y.; Tabajara, L.; Vardi, M. Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. AAAI 2020, 34, 9766-9774.