Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


Fortin, Marie, Kuijer, Louwe B, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Zimmermann, Martin
HyperLTL Satisfiability is $Σ_1^1$-complete, HyperCTL* Satisfiability is $Σ_1^2$-complete.


Kuijer, Louwe ORCID: 0000-0001-6696-9023, Fortin, Marie, Totzke, Patrick 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-08-23 - 2021-08-27, Tallinn.

This list was generated on Thu Sep 16 09:14:55 2021 BST.