Xu, Z., Chen, Y., & Topcu, U. (2021). Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners. Proceedings of the AAAI Conference on Artificial Intelligence, 35(6), 5061-5068. https://doi.org/10.1609/aaai.v35i6.16640