Angelic non-determinism

A term coined by C.A.R Hoare, which describes the execution of a non-deterministic program where all choices that are made favor termination.

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

We describe anchored angelic A* (AAA*), an algorithm for efficient and asymptotically near-optimal planning for systems governed…

2010

Stepwise refinement is a well-studied technique for developing a program from an abstract description to a concrete…