Automating the math for decision-making under uncertainty