Verifying Existence of Resource-Bounded Coalition Uniform Strategies. - Alechina, Natasha; Dastani, Mehdi; Logan, Brian (2016)