Similar Items: The Complexity of Second-order HyperLTL
- HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
- The Complexity of Flat Freeze LTL
- Linear Encodings of Bounded LTL Model Checking
- Monadic second-order definable graph orderings
- On the Monadic Second-Order Transduction Hierarchy