Complexity of Model Checking Second-Order Hyperproperties on Finite Structures.

Bernd Finkbeiner, Hadar Frenkel, Tim Rohde

Browse the full FOSSACS paper archive.