@inproceedings{pgnk-cav-2025,
  author={Siddhartha Prasad and Ben Greenman  and Tim Nelson and Shriram Krishnamurthi},
  title = {A Misconception-Driven Adaptive Tutor for Linear Temporal Logic},
  booktitle = {{CAV}},
  pages = {185--200},
  doi = {10.1007/978-3-031-98685-7_9},
  year={2025}
}