Xu, Z., Chen, Y. and Topcu, U. (2021) “Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(6), pp. 5061-5068. doi: 10.1609/aaai.v35i6.16640.