Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
We introduce the notion of fault tolerant mechanism design, which extends the standard game theoretic framework of mechanism design to allow for uncertainty about execution. Specifically, we define the problem of task allocation in which the private information of the agents is not only their costs of attempting the tasks but also their probabilities of failure. For several different instances of this setting we present both, positive results in the form of mechanisms that are incentive compatible, individually rational, and efficient, and negative results in the form of impossibility theorems. © 2008 Elsevier B.V. All rights reserved.
Barry K. Rosen
SWAT 1972
John R. Kender, Rick Kjeldsen
IEEE Transactions on Pattern Analysis and Machine Intelligence
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
Hagen Soltau, Lidia Mangu, et al.
ASRU 2011