Bansal, S., Kavraki, L., Vardi, M. Y. and Wells, A. (2022) “Synthesis from Satisficing and Temporal Goals”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(9), pp. 9679-9686. doi: 10.1609/aaai.v36i9.21202.