37 citations · 224 across the 29 of their papers we have counts for
4 papers · 1 filter
Iterated Regret Minimization: A More Realistic Solution Concept
Joseph Y. Halpern, Rafael Pass
For some well-known games, such as the Traveler's Dilemma or the Centipede Game, traditional game-theoretic solution concepts--and most notably Nash equilibrium--predict outcomes t…
Game Theory with Costly Computation
Joseph Y. Halpern, Rafael Pass
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic result…
An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience
Ittai Abraham, Danny Dolev, Joseph Y. Halpern
Consider an asynchronous system with private channels and processes, up to of which may be faulty. We settle a longstanding open question by providing a Byzantine agreement…
A Formal Foundation for XrML
Joseph Y. Halpern, Vicky Weissman
XrML is becoming a popular language in industry for writing software licenses. The semantics for XrML is implicitly given by an algorithm that determines if a permission follows fr…