Buchumschlag

Fuzzy Fault Trees Formalized

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dang, Thi Kim Nhung, Lopuhaä-Zwakenberg, Milan, Stoelinga, Mariëlle
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fuzzy Fault Trees: the Fast and the Formal
von: Dang, Thi Kim Nhung, et al.
Veröffentlicht: (2025)

Fuzzy quantitative attack tree analysis
von: Dang, Thi Kim Nhung, et al.
Veröffentlicht: (2024)

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

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

PFL: a Probabilistic Logic for Fault Trees
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2023)

Querying Fault and Attack Trees: Property Specification on a Water Network
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2024)

ATM: a Logic for Quantitative Security Properties on Attack Trees
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2023)

Quantitative analysis of attack-fault trees via Markov decision processes
von: Lopuhaä-Zwakenberg, Milan
Veröffentlicht: (2024)

Attack tree metrics are operad algebras
von: Lopuhaä-Zwakenberg, Milan
Veröffentlicht: (2024)

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

Provable Privacy Advantages of Decentralized Federated Learning via Distributed Optimization
von: Yu, Wenrui, et al.
Veröffentlicht: (2024)

A Unified Compositional View of Attack Tree Metrics
von: Peterseim, Benedikt, et al.
Veröffentlicht: (2025)

Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation
von: Peterseim, Benedikt, et al.
Veröffentlicht: (2026)

BayesL: a Logical Framework for the Verification of Bayesian Networks
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2025)

Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix)
von: Copae, Danut-Valentin, et al.
Veröffentlicht: (2025)

WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2024)

Fault Tree Synthesis from Knowledge Graphs
von: Ntagengerwa, Manzi Aimé, et al.
Veröffentlicht: (2025)

BFL: a Logic to Reason about Fault Trees
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2022)

Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus
von: Li, Qiongxiu, et al.
Veröffentlicht: (2023)

TriAlign: Towards Universal Truth Consistency in Personalized LLM Alignment
von: Nguyen, Thi-Nhung, et al.
Veröffentlicht: (2026)

Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning
von: Jimenez-Roa, Lisandro A., et al.
Veröffentlicht: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

From Fuzzy to Formal: Scaling Hospital Quality Improvement with AI
von: Vossler, Patrick, et al.
Veröffentlicht: (2026)

Fuzzy Recurrent Stochastic Configuration Networks for Industrial Data Analytics
von: Wang, Dianhui, et al.
Veröffentlicht: (2024)

A Fuzzy Reinforcement LSTM-based Long-term Prediction Model for Fault Conditions in Nuclear Power Plants
von: Li, Siwei, et al.
Veröffentlicht: (2024)

AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
von: Ping, Bowen, et al.
Veröffentlicht: (2025)

ViLegalNLI: Natural Language Inference for Vietnamese Legal Texts
von: Duong, Nhung Thi-Hong, et al.
Veröffentlicht: (2026)

DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
von: Zhang, Meiru, et al.
Veröffentlicht: (2025)

On the Granular Representation of Fuzzy Quantifier-Based Fuzzy Rough Sets
von: Theerens, Adnan, et al.
Veröffentlicht: (2023)

Detection of ransomware attacks using federated learning based on the CNN model
von: Nguyen, Hong-Nhung, et al.
Veröffentlicht: (2024)

ArgRE: Formal Argumentation for Conflict Resolution in Multi-Agent Requirements Negotiation
von: Cheng, Haowei, et al.
Veröffentlicht: (2026)

Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers
von: Banković, Milan
Veröffentlicht: (2024)

Fuzzy Representation of Norms
von: Assadi, Ziba, et al.
Veröffentlicht: (2026)

A New Random Forest Ensemble of Intuitionistic Fuzzy Decision Trees
von: Ren, Yingtao, et al.
Veröffentlicht: (2024)

Fuzzy Rough Sets Based on Fuzzy Quantification
von: Theerens, Adnan, et al.
Veröffentlicht: (2022)

Smart Passive Acoustic Monitoring: Embedding a Classifier on AudioMoth Microcontroller
von: Lerbourg, Louis, et al.
Veröffentlicht: (2026)

Minimizing the energy depletion in wireless rechargeable sensor networks using bi-level metaheuristic charging schemes
von: Binh, Huynh Thi Thanh, et al.
Veröffentlicht: (2025)

Real Faults in Deep Learning Fault Benchmarks: How Real Are They?
von: Jahangirova, Gunel, et al.
Veröffentlicht: (2024)

HiFiNet: Hierarchical Fault Identification in Wireless Sensor Networks via Edge-Based Classification and Graph Aggregation
von: Nghia, Nguyen Tri, et al.
Veröffentlicht: (2025)

With a little help from your friends: semi-cooperative games via Joker moves
von: Bos, Petra van den, et al.
Veröffentlicht: (2023)