Xu, Zhe, Yuxin Chen, and Ufuk Topcu. 2021. “Adaptive Teaching of Temporal Logic Formulas to Preference-Based Learners”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (6):5061-68. https://doi.org/10.1609/aaai.v35i6.16640.