Before revision: This paper studies dynamic mechanism design in a  Markovian environment and analyzes a direct mechanism model of a principal-agent framework in which the agent is allowed to exit at any period.
After revision: This paper studies dynamic mechanism design in a quasilinear Markovian environment and analyzes a direct mechanism model of a principal-agent framework in which the agent is allowed to exit at any period.