Bansal, Suguman, Lydia Kavraki, Moshe Y. Vardi, and Andrew Wells. 2022. “Synthesis from Satisficing and Temporal Goals”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (9):9679-86. https://doi.org/10.1609/aaai.v36i9.21202.