Conformant Planning

Conformant planning is the problem of finding, in a nondeterministic domain, a sequence of actions which will achieve the goal for all possible contingencies.

Main result of this research is the developent of an efficient algorithm for conformant planning, based on symbolic model checking technques.