37 citations · 80 across the 29 of their papers we have counts for
1 paper · 2 filters
Martin Lück, Arne Meier, Irina Schindler
We present an almost complete classification of the parameterized complexity of all operator fragments of the satisfiability problem in computation tree logic CTL. The investigated…