Italiano (Italian) English (Inglese)
Friday, 29 March 2024

Dependability and Reliability Group

The Dependability and Reliability Group

Formal Methods in Reliability

The formal methods group

People

Projects

Pubblications

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.

People

Pubblications