Similar Items: Counting CTL
- Quantified CTL: Expressiveness and Complexity
- Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
- Model Checking CTL is Almost Always Inherently Sequential
- HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
- Visualising CTL Witnesses and Counterexamples -- Extended Version
- Descriptive Complexity for Counting Complexity Classes