%O Generic 
%F Pinchinat10c
%A Vahne, Lois
%A Pinchinat, Sophie
%T Computing the winning coalitions of a turn-based game with reachability objectives
%C Paris, France
%D 2010
%K control