Similar Items: HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
- On the Expressiveness and Complexity of ATL
- Logics for Context-free Hyperproperties
- Conformance Relations and Hyperproperties for Doping Detection in Time and Space
- HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
- The Complexity of Second-order HyperLTL
- Hyper Normalisation and Conditioning for Discrete Probability Distributions