Verified Computation with Probabilities

DOI10.1007/978-3-642-32677-6_7zbMath1253.68064OpenAlexW200656459MaRDI QIDQ3144131

Jack Siegrist, Scott A. Ferson

Publication date: 7 December 2012

Published in: IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32677-6_7

zbMATH Keywords

interval analysisimprecise probabilitiesprobability boxprobabilistic arithmeticp-boxprobability bounds anallysisverfied computation

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Comonotone lower probabilities with robust marginal distributions functions

This page was built for publication: Verified Computation with Probabilities