A set of functions for well-known Cumulative Distribution Function (CDF)-based distance measure

MATLAB Simulink Based Fault Tree Analyzer

A Semi-Markov Process-based Hierarchical Solution for Dynamic Fault Trees

Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming

Exploring techniques for estimating safety of machine learning classifiers