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

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

zbMATH Keywords

satisfiabilityanalytical hierarchyHyperLTLHyperCTL\(^*\)

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

This page was built for publication: HyperLTL Satisfiability Is Σ₁¹-Complete, HyperCTL* Satisfiability Is Σ₁²-Complete.