Second, the objective of each player is specified by a language over this alphabet. Each player should select a path labeled by a word in his objective language. Thus, if we view the network as a nondeterministic weighted finite automaton [15] (WFA, for short) A, then the set of ...