Cover Image

Fuzzy Fault Trees: the Fast and the Formal

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dang, Thi Kim Nhung, Peterseim, Benedikt, Lopuhaä-Zwakenberg, Milan, Stoelinga, Mariëlle
Format:	Preprint
Published:	2025
Subjects:	General Mathematics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fuzzy Fault Trees Formalized
by: Dang, Thi Kim Nhung, et al.
Published: (2024)

Fuzzy quantitative attack tree analysis
by: Dang, Thi Kim Nhung, et al.
Published: (2024)

A Unified Compositional View of Attack Tree Metrics
by: Peterseim, Benedikt, et al.
Published: (2025)

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation
by: Peterseim, Benedikt, et al.
Published: (2026)

Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees
by: Soltani, Reza, et al.
Published: (2025)

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
by: Soltani, Reza, et al.
Published: (2025)

PFL: a Probabilistic Logic for Fault Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)

Querying Fault and Attack Trees: Property Specification on a Water Network
by: Nicoletti, Stefano M., et al.
Published: (2024)

ATM: a Logic for Quantitative Security Properties on Attack Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)

Quantitative analysis of attack-fault trees via Markov decision processes
by: Lopuhaä-Zwakenberg, Milan
Published: (2024)

Attack tree metrics are operad algebras
by: Lopuhaä-Zwakenberg, Milan
Published: (2024)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
by: Nicoletti, Stefano M., et al.
Published: (2024)

A Fuzzy Geometric Study of Equidistant Sets in Fuzzy Metric Space
by: Singha, Biswajit, et al.
Published: (2025)

A New Class of Fuzzy Inner Products and Fuzzy Norms over Ordered Intervals
by: Daraby, Bayaz, et al.
Published: (2025)

Extended Equivalence of Fuzzy Sets
by: Murali, Venkat, et al.
Published: (2024)

Rules and Algorithms for Objective Construction of Fuzzy Sets
by: Zhou, Lei
Published: (2024)

A Complete Characterization Theorem for Fuzzy Differentiability on Time Scales
by: Mert, Funda Raziye, et al.
Published: (2025)

Least Absolute Deviation Utility for Trapezoidal Fuzzy Preference Relations
by: He, Lei, et al.
Published: (2025)

Fixed Point Property in G-Complete Fuzzy Metric Space
by: Tahiri, Ismail, et al.
Published: (2024)

Betweenness relations and Fuzzy betweenness relations in fuzzy metric spaces
by: Zhong, Yu
Published: (2026)

Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix)
by: Copae, Danut-Valentin, et al.
Published: (2025)

Power of Continuous Triangular Norms with Application to Intuitionistic Fuzzy Information Aggregation
by: Wu, Xinxing, et al.
Published: (2022)

On the Generalized Hukuhara Nabla Differentiability of Fuzzy Functions on Time Scales via Characterization Theorem
by: Mert, Funda Raziye, et al.
Published: (2025)

Existence and Uniqueness of the Solution of Two-dimensional Fuzzy Volterra Integral Equation with Piecewise Kernel
by: Noeiaghdam, Samad
Published: (2024)

Advanced Algebraic Manipulation Techniques in Quadratic Programming for Fuzzy Clustering with Generalized Capacity Constraints
by: Macedo, Roger
Published: (2024)

Fuzzy location and allocation Hub Network Design for Air Cargo Transportation Considering Sustainability and Time Window
by: Malekdar, Ali Mohammad, et al.
Published: (2025)

A Type 2 Fuzzy Set Approach for Building Linear Linguistic Regression Analysis under Multi Uncertainty
by: Watada, Junzo, et al.
Published: (2025)

Fault Tree Synthesis from Knowledge Graphs
by: Ntagengerwa, Manzi Aimé, et al.
Published: (2025)

Calculus for Functions with Fuzzy Inputs and Outputs: Applications to Fuzzy Differential Equations
by: de Barros, Laécio Carvalho, et al.
Published: (2025)

Quantile-Based Skewness for Fuzzy Numbers with Probabilistic Foundations: With an Application in Portfolio Optimization
by: Schneider, Jan, et al.
Published: (2026)

BFL: a Logic to Reason about Fault Trees
by: Nicoletti, Stefano M., et al.
Published: (2022)

On Gracefully Labeling Trees
by: Mehendale, Dhananjay P.
Published: (2005)

Direct Product of Picture Fuzzy Subgroups
by: Sangodapo, Taiwo O.
Published: (2026)

Patterns Within the Markov Tree
by: Gore, Robert A.
Published: (2025)

Fermat's Principle in General Relativity via Herglotz Variational Formalism
by: Piwnik, Joanna, et al.
Published: (2023)

General Relativity via differential forms -- explorations in Plebanski's Formalism for GR
by: Shaw, Adam
Published: (2026)

An Application of Complex Fuzzy Soft Matrices in Signal Processing
by: Oladokun, Olayemi R., et al.
Published: (2026)

Bounds on Atom-Bond Connectivity and Zagreb Indices in Trees with a Given Metric Dimension
by: Ali, Waqar, et al.
Published: (2024)

Extremal Values of the Atom-Bond Connectivity Index for Trees with Given Roman Domination Numbers
by: Ali, Waqar, et al.
Published: (2024)

Sine laws on semigroups with an involutive anti-automorphism: A Levi--Civita approach via left translations
by: Phuc, Dang Vo
Published: (2025)