A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
We analyse the computational complexity of finding Nash equilibria in stochastic multiplayer games with ω-regular objectives. While the existence of an equilibrium whose payoff falls into a certain interval may be undecidable, we single out several decidable restrictions of the problem. First, restricting the search space to stationary, or pure stationary, equilibria results in problems that are typically contained in PSPACE and NP, respectively. Second, we show that the existence of andoi:10.1007/978-3-642-04027-6_37 fatcat:ymug7i7nsfbkhm2ws6kicqmayi