iamumairs

fault-tree-mcs

Computation of minimal cutsets using MOCUS Algorithm

hol-light

HOL Light Proof Assistant

event-tree-analysis

Generates event tree graph from the components failure modes.

FDIA-PdM

False Data Injection Attacks in Internet of Things and Deep Learning enabled Predictive Analytics

GlossaryMD

A glossary template for Markdown

graphviz-tools

highway-env

A minimalist environment for decision-making in autonomous driving

treant-js

Treant.js - javascript library for drawing tree diagrams

twtl

Rewriting Algorithm for Time Window Temporal Logic

homebrew-core

🍻 Default formulae for the missing package manager for macOS

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

ltlrewrite

Rewriting Based Finite Trace Checker for LTL

ocaml-of-things

ocaml-torch

OCaml bindings for PyTorch

OCaml_Types_to_MD

publications

reelay

A header-only C++ library for system-level verification and testing of real-time systems, including Python bindings.

rosbag.js

ROS bag file reader for JavaScript 👜

tool_lists

Links to tools by subject

umairsidd.com

usiddique.com

Personal Web