TY - RPRT TI - Fuzzy Fault Trees: the Fast and the Formal AU - Thi Kim Nhung Dang AU - Benedikt Peterseim AU - Milan LopuhaƤ-Zwakenberg AU - Mariƫlle Stoelinga PY - 2026 DO - 10.1007/978-3-032-05792-1_14 UR - https://arxiv.org/abs/2507.02886 ID - 2507.02886 ER -