Lois Vahne, Sophie Pinchinat. Computing the winning coalitions of a turn-based game with reachability objectives. Paris, France, 2010.
2nd Workshop on Games for Design, Verification and Synthesis. colocated with CONCUR'10
[ Control ]
Sophie Pinchinat http://www.irisa.fr/prive/Sophie.Pinchinat/
@Misc{Pinchinat10c,
Author = {Vahne, Lois and Pinchinat, Sophie},
Title = {Computing the winning coalitions of a turn-based game with reachability objectives},
Address = {Paris, France},
Year = {2010}
}
Get EndNote Reference (.ref)