Angelic non-determinism
In computer science, angelic non-determinism is the execution of a nondeterministic algorithm where particular choices are declared to always favor a desired result, if that result is possible. For example, in halting analysis of a nondeterministic...