Bansal, S.; Kavraki, L.; Vardi, M. Y.; Wells, A. Synthesis from Satisficing and Temporal Goals. AAAI 2022, 36, 9679-9686.