Strategy Logic, Imperfect Information, and Hyperproperties.

Raven Beutner, Bernd Finkbeiner

Browse the full KR paper archive.