LTL Fragments are Hard for Standard Parameterisations

Martin Lück, Arne Meier

We classify the complexity of the LTL satisfiability and model checking problems for several standard parameterisations. The investigated parameters are temporal depth, number of p…