Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.15336533 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <div># Artifact for A Misconception-Driven Adaptive Tutor for Linear Temporal Logic</div> <p> </p> <div>This document details the artifact for CAV 2025 Submission #15,</div> <div>"A Misconception-Driven Adaptive Tutor for Linear Temporal Logic."</div> <div> </div> <div> <div>This artifact consists of the following files:</div> <br> <div> <div> <div>- `README.md`, which contains instructions on how to run this artifact.</div> <div>- `ltltutor.tar`: An archived Docker container containing the LTL Tutor.</div> <div>- This container is also publicly available on Docker hub as [sidprasad/ltltutor:v1.4.6](https://hub.docker.com/repository/docker/sidprasad/ltltutor/tags/v1.4.6/sha256-989e9cbe923e31235cd88249a531b841066681240ca52ad54072f4ec42d6f48b) with manifest digest `sha256:989e9cbe923e31235cd88249a531b841066681240ca52ad54072f4ec42d6f48b`.</div> <br> <div>- `LICENSE.txt` : A license file for the LTL Tutor and artifact.</div> <div>- `paper.pdf`: A pdf file of the submitted paper.</div> <div>- `LTLTutor-1.4.6.zip` : Source code of the LTL Tutor, corresponding to [GitHub release 1.4.6](https://github.com/brownplt/LTLTutor/releases/tag/v1.4.6)</div> </div> </div> </div>