Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem.

Martin Lück Arne Meier Irina Schindler

Published in: CoRR (2014)

Keyphrases

parameterized complexity
model checking
temporal logic
global constraints
fixed parameter tractable
databases
description logics
computational problems
symmetry breaking