Detecting global termination conditions in the face of uncertainty

Abstract
No abstract available