Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences

Open in new window