On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information.

Raven Beutner, Bernd Finkbeiner

Browse the full FMCAD paper archive.