HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.

Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

Browse the full MFCS paper archive.