[BansalLTV20] Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications Bansal, S.; Li, Y.; Tabajara, L. M. and Vardi, M. Y. In AAAI, pages 9766-9774, 2020.
Downloads: bibURL: https://ojs.aaai.org/index.php/AAAI/article/view/6528