On the Translation of Automata to Linear Temporal Logic.

Udi Boker, Karoliina Lehtinen, Salomon Sickert

Browse the full FOSSACS paper archive.