4
$\begingroup$

Has it been charaterized the cost of the translation from LTL with Past to LTL?

In [Gab89] this translation is assumed to be non elementary and in "Temporal Logic with Past is Exponentially More Succinct" is described a detour of complexity 3EXPTIME. But I haven't found any other tight constructions.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.