2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 2 cited
A Simple Rewrite System for the Normalization of Linear Temporal Logic
Javier Esparza, Ruben Rubio, Salomon Sickert
In the mid 80s, Lichtenstein, Pnueli, and Zuck showed that every formula of Past LTL (the extension of Linear Temporal Logic with past operators) is equivalent to a conjunction of…
cs.FL2022
On the Translation of Automata to Linear Temporal Logic
Udi Boker, Karoliina Lehtinen, Salomon Sickert
While the complexity of translating future linear temporal logic (LTL) into automata on infinite words is well-understood, the size increase involved in turning automata back to LT…