40 citations · 189 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 7 cited
LTL Store: Repository of LTL formulae from literature and case studies
Jan Křetínský, Tobias Meggendorfer, Salomon Sickert
This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in a machine readable way.
cs.LO2018★ 29 cited
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata
Javier Esparza, Jan Kretinsky, Salomon Sickert
We present a unified translation of LTL formulas into deterministic Rabin automata, limit-deterministic Büchi automata, and nondeterministic Büchi automata. The translations yield…