The Complexity of Second-Order HyperLTL.

Hadar Frenkel, Martin Zimmermann

Browse the full CSL paper archive.