--- res: bibo_abstract: - 'We study infinite stochastic games played by two-players on a finite graph with goals specified by sets of infinite traces. The games are concurrent (each player simultaneously and independently chooses an action at each round), stochastic (the next state is determined by a probability distribution depending on the current state and the chosen actions), infinite (the game continues for an infinite number of rounds), nonzero-sum (the players'' goals are not necessarily conflicting), and undiscounted. We show that if each player has an W-regular objective expressed as a paxity objective, then there exists an epsilon-Nash equilibrium, for every epsilon > 0. However, exact Nash equilibria need not exist. We study the complexity of finding values (payoff profile) of an epsilon-Nash equilibrium. We show that the values of an epsilon-Nash equilibrium in nonzero-sum concurrent parity games can be computed by solving the following two simpler problems: computing the values of zero-sum (the goals of the players axe strictly conflicting) concurrent parity games and computing epsilon-Nash equilibrium values of nonzero-sum concurrent games with reachability objectives. As a consequence we establish that values of an epsilon-Nash equilibrium can be computed in TFNP (total functional NP), and hence in EXPTIME.@eng' bibo_authorlist: - foaf_Person: foaf_givenName: Krishnendu foaf_name: Krishnendu Chatterjee foaf_surname: Chatterjee foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-4561-241X bibo_doi: 10.1007/11539452_32 bibo_volume: 3653 dct_date: 2005^xs_gYear dct_publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik@ dct_title: Two-player nonzero-sum ω-regular games@ ...