Complexity of Second-Order HyperLTL Fragments Settled

Researchers settled the complexity of satisfiability, finite-state satisfiability and model-checking for second-order HyperLTL fragments, placing all three deep in the analytical hierarchy. Read more: getnews.me/complexity-of-second-ord... #hyperltl #secondorder