We describe a new sound and complete method forcompiling contingent planning problems with sensingactions into classical planning. Our encodesconditional plans within linear, classicalplan. This allows our planner, MPSR, to reasonabout multiple future outcomes of sensing actions,and makes it less susceptible dead-ends. MPRS,however, generates very large planningproblems. To overcome this, we us...