[1]
S. Bansal, Y. Li, L. Tabajara, and M. Vardi, “Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications”, AAAI, vol. 34, no. 06, pp. 9766-9774, Apr. 2020.