Bansal, S. (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.