Correct Modiication of Complex Plans

@inproceedings{Koehler2009CorrectMO,
  title={Correct Modiication of Complex Plans},
  author={Jana Koehler},
  year={2009}
}
We present a general approach to exible plan modiication based on a deductive framework that enables a planner to correctly modify complex plans containing control structures like conditionals and iterations.