Z. Xu, Y. Chen, and U. Topcu, “Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners”, AAAI, vol. 35, no. 6, pp. 5061-5068, May 2021.