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 categorizationThis 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
The “General Linear Reality” view of the social world endorsed by analysis models assuming (underlyi...
Determining the causal structure of a domain is a key task in the area of Data Mining and Knowledge ...
When strong partial-input baselines reveal artifacts in crowdsourced NLI datasets, the performance o...
Datasets and source materials for our studies of Linear Temporal Logic (LTL). Includes: Label...
Datasets and source materials for our studies of Linear Temporal Logic (LTL).This work was partially...
SCARLET is an artifact for the TACAS22 Contribution "Scalable Anytime Algorithms for Learning Formul...
Linear Temporal Logic (LTL) [18, 16] is a logic for specifying properties of re-active and concurren...
Summary. This article provides the definition of linear temporal logic (LTL) and its properties rele...
The heterogeneity of tools that support temporal logic formulae poses several challenges in terms o...
These documents underlie and are cited in this empirical study: Susan Nevelow Mart, The Algorithm as...
1 Introduction The study of connections between temporal logics and automata proved to be very fruit...
<div>This record contains a single artifact in compressed .tar.gz format, holding software and model...
Abstract: It is true that many times relationships in the real world do not fall into a linear patte...
Formal specifications play an essential role in the life-cycle of modern systems, both at the time o...
Linear Temporal Logic (LTL) has found extensive applications in Computer Science and Artificial Inte...
The “General Linear Reality” view of the social world endorsed by analysis models assuming (underlyi...
Determining the causal structure of a domain is a key task in the area of Data Mining and Knowledge ...
When strong partial-input baselines reveal artifacts in crowdsourced NLI datasets, the performance o...
Datasets and source materials for our studies of Linear Temporal Logic (LTL). Includes: Label...
Datasets and source materials for our studies of Linear Temporal Logic (LTL).This work was partially...
SCARLET is an artifact for the TACAS22 Contribution "Scalable Anytime Algorithms for Learning Formul...
Linear Temporal Logic (LTL) [18, 16] is a logic for specifying properties of re-active and concurren...
Summary. This article provides the definition of linear temporal logic (LTL) and its properties rele...
The heterogeneity of tools that support temporal logic formulae poses several challenges in terms o...
These documents underlie and are cited in this empirical study: Susan Nevelow Mart, The Algorithm as...
1 Introduction The study of connections between temporal logics and automata proved to be very fruit...
<div>This record contains a single artifact in compressed .tar.gz format, holding software and model...
Abstract: It is true that many times relationships in the real world do not fall into a linear patte...
Formal specifications play an essential role in the life-cycle of modern systems, both at the time o...
Linear Temporal Logic (LTL) has found extensive applications in Computer Science and Artificial Inte...
The “General Linear Reality” view of the social world endorsed by analysis models assuming (underlyi...
Determining the causal structure of a domain is a key task in the area of Data Mining and Knowledge ...
When strong partial-input baselines reveal artifacts in crowdsourced NLI datasets, the performance o...