Pinned Repositories
event-tree-analysis
Generates event tree graph from the components failure modes.
fault-tree-mcs
Computation of minimal cutsets using MOCUS Algorithm
FDIA-PdM
False Data Injection Attacks in Internet of Things and Deep Learning enabled Predictive Analytics
GlossaryMD
A glossary template for Markdown
hol-light
HOL Light Proof Assistant
treant-js
Treant.js - javascript library for drawing tree diagrams
twtl
Rewriting Algorithm for Time Window Temporal Logic
tool_lists
Links to tools by subject
iamumairs's Repositories
iamumairs/fault-tree-mcs
Computation of minimal cutsets using MOCUS Algorithm
iamumairs/hol-light
HOL Light Proof Assistant
iamumairs/event-tree-analysis
Generates event tree graph from the components failure modes.
iamumairs/FDIA-PdM
False Data Injection Attacks in Internet of Things and Deep Learning enabled Predictive Analytics
iamumairs/GlossaryMD
A glossary template for Markdown
iamumairs/graphviz-tools
iamumairs/highway-env
A minimalist environment for decision-making in autonomous driving
iamumairs/treant-js
Treant.js - javascript library for drawing tree diagrams
iamumairs/twtl
Rewriting Algorithm for Time Window Temporal Logic
iamumairs/homebrew-core
🍻 Default formulae for the missing package manager for macOS
iamumairs/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
iamumairs/ltlrewrite
Rewriting Based Finite Trace Checker for LTL
iamumairs/ocaml-of-things
iamumairs/ocaml-torch
OCaml bindings for PyTorch
iamumairs/OCaml_Types_to_MD
iamumairs/publications
iamumairs/reelay
A header-only C++ library for system-level verification and testing of real-time systems, including Python bindings.
iamumairs/rosbag.js
ROS bag file reader for JavaScript 👜
iamumairs/tool_lists
Links to tools by subject
iamumairs/umairsidd.com
iamumairs/usiddique.com
Personal Web