2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…