Xu, Z.; Chen, Y.; Topcu, U. Adaptive Teaching of Temporal Logic Formulas to Preference-Based Learners. AAAI 2021, 35, 5061-5068.