LTL Tutor

We have been engaged in a multi-year project to improve education in Linear Temporal Logic (LTL) [ Blog Post 1 , Blog Post 2 ]. In particular, we have arrived at a detailed understanding of typical misconceptions that learners and even experts have. Our useful outcome from our studies is 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. However, as educators, we recognize that it isn’t