Our society crucially depends on complex engineering systems such as (nuclear) power plants, airplanes, data centers, robots, smart grids, self-driving cars, and many more. To ensure that such systems operate safely and reliably, proper risk assessment is a crucial activity. The key is to identify the highest risks and devise effective interventions to mitigate these. This holds true during all phases of the system’s life cycle: design, implementation, operation, and dismantling. Moreover, the increased constraints imposed by international standards, together with the ever-growing penetration of AI, make rigorous and powerful risk assessment more important than ever. Over the years, various techniques have been developed to analyze system safety and reliability. One of the most relevant techniques is fault tree analysis. Every day, millions of engineers are using fault trees to model their systems and analyze the probability of failures.