HyperLTL Satisfiability is Σ11-complete, HyperCTL* Satisfiability is Σ21-complete

Fortin, Marie, Kuijer, Louwe ORCID: 0000-0001-6696-9023, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Zimmermann, Martin ORCID: 0000-0002-8038-2453 (2021) HyperLTL Satisfiability is Σ11-complete, HyperCTL* Satisfiability is Σ21-complete In: Mathematical Foundations of Computer Science, 2021-8-23 - 2021-8-27, Tallinn.

Text main-2.pdf - Author Accepted Manuscript Download (772kB) | Preview

Item Type:	Conference Item (Unspecified)
Divisions:	Faculty of Science & Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	09 Jul 2021 16:22
Last Modified:	04 Mar 2024 10:24
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3129440
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.