Edinburgh Research Archive

Automated reasoning with uncertainties