Featured Dataset
Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL
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
File Size7.7 MB
Data TypeDataset
Published2025
Licensecc-by-4.0
Total Views2,096
Total Downloads427
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
📤 Share this page
Found this useful? Share it with your network.
Files are hosted on the source repository. Click download to access the full dataset.
Ben Greenman (2025). Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. https://doi.org/10.5281/zenodo.16756051