TY  - RPRT
TI  - HyperLTL Satisfiability is $Σ_1^1$-complete, HyperCTL* Satisfiability is $Σ_1^2$-complete
AU  - Marie Fortin
AU  - Louwe B. Kuijer
AU  - Patrick Totzke
AU  - Martin Zimmermann
PY  - 2021
UR  - https://arxiv.org/abs/2105.04176
ID  - 2105.04176
ER  -