Login / Signup

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

Martin LückArne MeierIrina Schindler
Published in: LATA (2015)
Keyphrases
  • parameterized complexity
  • model checking
  • temporal logic
  • fixed parameter tractable
  • global constraints