Nondeterministic planning (source code)

= Nondeterministic planning

<Automated planning> with several possible successors for an action and no specified <probabilities> for choosing between them. A plan must say how to act after observed outcomes. A <strong plan> guarantees eventual success for every possible outcome history; a favorable outcome on just one branch does not establish that guarantee.