Paper on Expected Cost Bounds

RaML is now able to derive bounds on the expected cost of probabilistic programs. Check out our paper Raising Expectations: Automating Expected Cost Analysis with Types.