Misconceptions in Linear Temporal Logic

I am part of a multi-year project to improve education in Linear Temporal Logic (LTL). This has involved building a detailed understanding of typical misconceptions that learners and even experts have, building a set of instruments (think “quizzes”) that instructors can deploy in their classes to understand how well their students understand the logic and what weaknesses they have.

Eventually, I will understand LTL

However, it isn’t always easy to add new materials to classes. Furthermore, your students make certain mistakes—now what? They need explanations of what went wrong, need additional drill problems, and need checks whether they got the additional ones right. It’s hard for an educator to make time for all that. And if one is an independent learner, they don’t even have access to such educators. Recognizing these practical difficulties, we have distilled our group’s expertise in LTL into an online tutor:

This tutor leverages the idea of Conceptual Mutation Testing ¹ to generate questions by mutating LTL formulae modulo our understanding of LTL misconceptions.

Related Publications