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