Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Programming

There is a newer version of the record available.

Published September 22, 2022 | Version v1.0
Dataset Open

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL

Creators

  • 1. Brown University

Description

Datasets and source materials for our studies of Linear Temporal Logic (LTL).

Includes:

  •  Labelled responses to our surveys

  • The surveys themselves

  • The coding rubric that guided our categorization

Notes

This work was partially supported by the US National Science Foundation. Greenman received support from NSF grant 2030859 to the CRA for the CIFellows project. This work was also partially supported by RelationalAI.

Files

Files (7.6 MB)

Name Size Download all
md5:b37b9e39cb74b0303b90b72b052efa2d
7.6 MB Download