pith. sign in

arxiv: 1807.03296 · v1 · pith:ETN4BFYPnew · submitted 2018-06-29 · 💻 cs.LO

LTL Store: Repository of LTL formulae from literature and case studies

Jan K\v{r}et\'insk\'y , Tobias Meggendorfer , Salomon Sickert This is my paper
classification 💻 cs.LO
keywords formulaeliteraturecasecollectscommonlycomparescontinuouslyextended
0
0 comments X
read the original abstract

This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in a machine readable way.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. From LTL to Unambiguous B\"uchi Automata via Disambiguation of Alternating Automata

    cs.FL 2019-07 unverdicted novelty 6.0

    A new algorithm generates unambiguous Büchi automata from LTL formulas via disambiguation of very weak alternating automata, including optimizations and LTL simplifications for smaller sizes.