1. Baier, J.A., McIlraith, S.: Planning with temporally extended goals using heuristic search. In: ICAPS, pp. 342–345. AAAI Press (2006)
2. Bansal, S., Li, Y., Tabajara, L., Vardi, M.: Hybrid compositional reasoning for reactive synthesis from finite-horizon specifications. In: AAAI, vol. 34, pp. 9766–9774 (2020)
3. Bansal, S., Li, Y., Tabajara, L.M., Vardi, M.Y., Wells, A.M.: Model checking strategies from synthesis over finite traces. CoRR abs/2305.08319 (2023). https://doi.org/10.48550/arXiv.2305.08319
4. Bansal, S., Namjoshi, K.S., Sa’ar, Y.: Synthesis of coordination programs from linear temporal specifications. Proc. ACM Program. Lang. (POPL) 4, 1–27 (2019)
5. Lecture Notes in Computer Science;S Bansal,2018