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…