An adaptive, misconception-driven tutoring system for Linear Temporal Logic (LTL).
Try it: https://ltl-tutor.xyz
Blog post: https://blog.brownplt.org/2024/08/08/ltltutor.html
CAV 2025 Distinguished Paper: https://cs.brown.edu/~sk/Publications/Papers/Published/pgnk-ltl-tutor/paper.pdf
LTL Tutor provides targeted practice and feedback for learning LTL. It models common misconceptions, adapts to learner performance, and supports both classroom and self-study use.
If you use this work, consider citing:
@InProceedings{10.1007/978-3-031-98685-7_9,
author="Prasad, Siddhartha
and Greenman, Ben
and Nelson, Tim
and Krishnamurthi, Shriram",
editor="Piskac, Ruzica
and Rakamari{\'{c}}, Zvonimir",
title="A Misconception-Driven Adaptive Tutor for Linear Temporal Logic",
booktitle="Computer Aided Verification",
year="2025",
publisher="Springer Nature Switzerland",
address="Cham",
pages="185--200",
isbn="978-3-031-98685-7"
}