18 citations · 100 across the 22 of their papers we have counts for
1 paper · 1 filter
Ahmet Kara, Martin Lange, Thomas Schwentick +1
The paper studies the expressivity, relative succinctness and complexity of satisfiability for hybrid extensions of the branching-time logics CTL and CTL+ by variables. Previous co…