zenodoopen
Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL
<p>Datasets and source materials for our studies of Linear Temporal Logic (LTL).</p> <p>Includes:</p> <ul> <li> <p> Labelled responses to our surveys</p> </li> <li> <p>The surveys themselves</p> </li> <li> <p>The coding rubric that guided our categorization</p> </li> </ul>
ShareScore
40/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 4