Similar Items: On the Expressiveness and Complexity of ATL
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
- Quantified CTL: Expressiveness and Complexity
- The Complexity of Aggregates over Extractions by Regular Expressions
- About the Expressive Power and Complexity of Order-Invariance with Two Variables
- Descriptive Complexity for Counting Complexity Classes
- On the Complexity of the Matching Problem of Regular Expressions with Backreferences