HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.
From MaRDI portal
Publication:6168463
DOI10.4230/lipics.mfcs.2021.47arXiv2105.04176OpenAlexW3165398732MaRDI 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
Related Items (1)
This page was built for publication: HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.
