We investigate the interrelation between graph searching games and games with imperfect information. As key consequence we obtain that parity games with bounded imperfect information can be solved in Ptime on graphs of bounded DAG-width which generalizes several results for parity games on graphs of bounded complexity. We use a new concept of graph searching where several cops try to catch mult...

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...

We study optimal contracting under imperfect commitment in a model with an uninformed principal and an informed agent. The principal can commit to pay the agent for his advice but retains decision-making authority. Under an optimal contract, the principal should (a) never induce the agent to fully reveal what he knows— even though this is feasible— and (b) never pay the agent for imprecise info...

We study observation-based strategies for two-player turnbased games played on graphs with parity objectives. An observationbased strategy relies on imperfect information about the history of a play, namely, on the past sequence of observations. Such games occur in the synthesis of a controller that does not see the private state of the plant. Our main results are twofold. First, we give a fixe...