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