no code implementations • 15 May 2023 • Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew Wells
Our central result is that LTLf model checking of non-terminating transducers is \emph{exponentially harder} than that of terminating transducers.