The Complexity of LTL on Finite Traces: Hard and Easy Fragments.

Valeria Fionda Gianluigi Greco

Published in: AAAI (2016)

Keyphrases

linear temporal logic
decision problems
temporal logic
mazurkiewicz traces
model checking
real time
description logics
space complexity
computational complexity
worst case
artificial intelligence