Belief Functions for Safety Arguments Confidence Estimation: A Comparative Study

DOI10.1007/978-3-030-58449-8_10MaRDI QIDQ6486019FDOQ6486019

Authors: Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet 

Publication date: 22 December 2022

Published in: 1517.68379 (Search for Journal in Brave)

Recommendations

• D-S theory for argument confidence assessment
• Safety case confidence propagation based on Dempster-Shafer theory
• A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases
• Validating safety arguments with Lean
• Use of Bayesian Belief Networks when combining disparate sources of information in the safety assessment of software-based systems

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cited In (3)

• Use of Bayesian Belief Networks when combining disparate sources of information in the safety assessment of software-based systems
• A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases
• Validating safety arguments with Lean

This page was built for publication: Belief Functions for Safety Arguments Confidence Estimation: A Comparative Study

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