Similar Items: HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
- The Complexity of Second-order HyperLTL
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
- Hyper Normalisation and Conditioning for Discrete Probability Distributions
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
- Hyper-Minimization for Deterministic Register Automata
- Counting CTL