[1]
S. Bansal, L. Kavraki, M. Y. Vardi, and A. Wells, “Synthesis from Satisficing and Temporal Goals”, AAAI, vol. 36, no. 9, pp. 9679-9686, Jun. 2022.