A New Formalism, Method and Open Issues for Zero-Shot Coordination