Strategy Logic, Imperfect Information, and Hyperproperties

Open in new window