Extending PDDL to mondeterminism, limited sensing and iterative conditional plans