On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing.

Raven Beutner, Bernd Finkbeiner

Browse the full AAAI paper archive.