Programming

There is a newer version of the record available.

Published August 24, 2022 | Version v0.2
Dataset Open

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

Authors/Creators

  • 1. Brown University

Description

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

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:321aaaaac9bf65b88e5c81ad9a23f2a3
7.6 MB Download