Xu, Zhe, Yuxin Chen, and Ufuk Topcu. “Adaptive Teaching of Temporal Logic Formulas to Preference-Based Learners”. Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 6 (May 18, 2021): 5061-5068. Accessed April 20, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/16640.