Assertion list for term "bounded in the worst case".
Results from Ascent++: 1
complexity (aspect of algorithm) → ReceivesAction → bounded in the worst case 0.25