We introduce new revelation mechanisms for simultaneous common agency games which, although they do not always permit a complete equilibrium characterization, do facilitate the characterization of the equilibrium outcomes that are typically of interest in applications. We then show how these...

These notes examine the problem of how to extend envelope theorems to infinite-horizon dynamic mechanism design settings, with an application to the design of "bandit auctions."