Verified computation with probabilities

DOI10.1007/978-3-642-32677-6_7MaRDI QIDQ3144131zbMATH OpenOpenAlexFDO

Authors 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

imprecise probabilitiesinterval analysisprobability boxprobabilistic arithmeticp-boxprobability bounds anallysisverfied computation

Mathematics Subject Classification ID

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

Recommendations

• Computation of failure probability subject to epistemic uncertainty
• The demand for reliability in probabilistic verification
• scientific article; zbMATH DE number 1324653
• Self-Validating Computations of Probabilities for Selected Central and Noncentral Univariate Probability Functions
• scientific article; zbMATH DE number 869745

Cited in

(6)

• Probabilistic verification of Boolean functions
• Reliability of computational science
• Verified propagation of imprecise probabilities in non-linear ODEs
• Comonotone lower probabilities with robust marginal distributions functions
• Probabilistic verification and approximation
• Computation of failure probability subject to epistemic uncertainty

This page was built for publication: Verified computation with probabilities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3144131)