HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.
From MaRDI portal
DOI10.4230/lipics.mfcs.2021.47arXiv2105.04176MaRDI QIDQ6168463
Marie Fortin, Louwe B. Kuijer, Martin Zimmermann, Patrick Totzke
Publication date: 8 August 2023
Full work available at URL: https://arxiv.org/abs/2105.04176
68Qxx: Theory of computing
Related Items