93 citations · 122 across the 9 of their papers we have counts for
1 paper · 1 filter
Andreas Krebs, Arne Meier, Martin Mundhenk
The aim of this study is to understand the inherent expressive power of CTL operators. We investigate the complexity of model checking for all CTL fragments with one CTL operator a…