Dependability and Reliability Group
The Dependability and Reliability Group
Formal Methods in Reliability
The formal methods group
Bayesian Networks for Reliability
Bayesian Belief Networks are the most widely used formalism for uncertainty handling in Artificial Intelligence; despite that, little attention they have received so far in reliability applications. Major focus of the group is to investigate their applicability in real-world dependability applications by considering modeling as well as analysis aspects.