Computation with Bounded Resources
Research Group

PWhile -- Expected Cost Analysis

Input
or with a timeout of seconds.