Interval Based, Automatically Verified Arithmetic on
Random Variables
(including the case where the operands have unknown
dependency)
Contact:
Daniel Berleant
Dept. of Electrical and Computer Engineering
2215 Coover Hall
Iowa State University
Ames, Iowa
USA