John Fearnley

Publications57
h-index14
Citations633
Highly Influential Citations57
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • Rahul Savani
  • 83 Publications, 1,205 Citations
  • P. Goldberg
  • 133 Publications, 3,516 Citations
  • C. Papadimitriou
  • 576 Publications, 54,919 Citations
  • M. Jurdzinski
  • 90 Publications, 2,894 Citations
  • Publications
  • Influence
Reachability in Two-Clock Timed Automata is PSPACE-complete
Abstract Recently, Haase, Ouaknine, and Worrell have shown that reachability in two-clock timed automata is log-space equivalent to reachability in bounded one-counter automata. We show that… Expand
  • 45
  • 9
Exponential Lower Bounds for Policy Iteration
We study policy iteration for infinite-horizon Markov decision processes. It has recently been shown policy iteration style algorithms have exponential lower bounds in a two player game setting. We… Expand
  • 79
  • 7
Non-oblivious Strategy Improvement
We study strategy improvement algorithms for mean-payoff and parity games. We describe a structural property of these games, and we show that these structures can affect the behaviour of strategy… Expand
  • 22
  • 5
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space
Parity games play an important role in model checking and synthesis. In their paper, Calude et al. have recently shown that these games can be solved in quasi-polynomial time. We show that their… Expand
  • 17
  • 5
The Complexity of the Simplex Method
The simplex method is a well-studied and widely-used pivoting method for solving linear programs. When Dantzig originally formulated the simplex method, he gave a natural pivot rule that pivots into… Expand
  • 28
  • 4
An ordered approach to solving parity games in quasi polynomial time and quasi linear space
Parity games play an important role in model checking and synthesis. In their paper, Calude et al. have recently shown that these games can be solved in quasi-polynomial time. We show that their… Expand
  • 41
  • 3
Time and Parallelizability Results for Parity Games with Bounded Treewidth
Parity games are a much researched class of games in NP ∩ CoNP that are not known to be in P. Consequently, researchers have considered specialised algorithms for the case where certain graph… Expand
  • 12
  • 3
Computing Approximate Nash Equilibria in Polymatrix Games
In an $$\epsilon $$ϵ-Nash equilibrium, a player can gain at most $$\epsilon $$ϵ by unilaterally changing his behavior. For two-player (bimatrix) games with payoffs in [0, 1], the best-known… Expand
  • 22
  • 2
Finding Approximate Nash Equilibria of Bimatrix Games via Payoff Queries
We study the deterministic and randomized query complexity of finding approximate equilibria in a k × k bimatrix game. We show that the deterministic query complexity of finding an ϵ-Nash equilibrium… Expand
  • 15
  • 2
Learning equilibria of games via payoff queries
A recent body of experimental literature has studied empirical game-theoretical analysis, in which we have partial knowledge of a game, consisting of observations of a subset of the pure-strategy… Expand
  • 44
  • 1