mkhaled87
Follow
-
pFaces-OmegaThreads Public
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal lo…
-
pFaces-PIRK Public
Forked from alexdevonport/pfaces-pirkA tool for parallel computation of interval over-approximations to reachable sets of nonlinear control systems, powered by the pFaces acceleration ecosystem; more briefly, a Parallel Interval Reach…
-
pFaces-AMYTISS Public
A tool for parallel automated controller synthesis for large-scale stochastic systems.
-
DormantBitcoinHunter Public
A Python script to generate random bitcoin private keys, extract their bitcoin addresses and compare against a list of addresses which have large amount of bitcoins (i.e., the Dormant List). It is …
-
scots-ready Public
A version of SCOTS with the CUDD library included and configured as a static-link library. Simply go to the root directory and run 'make' to build the CUDD library.
-
jemdoc-ready Public
A ready-to-use Jemdoc-based website for research groups and similar organizations. It also contains a dynamic news/RSS-feed system which requires ASP.Net.
-
pegasus_spyware Public
Forked from pussycat0x/pegasus_spywaredecompiled pegasus_spyware
Smali UpdatedJul 29, 2021 -
-
ethminer_fpga Public
Forked from ethereum-mining/ethminerA fork of Ethereum miner with OpenCL-based FPGA mining support (currently Intel FPGAs).
-
etoro-api Public
A python api for eToro automatically generated via the provided OpenAPI specifications.
-
clypse_fpga Public
Forked from JustinTArthur/apoclypsebmA fork of the ApoCLypse Bitcoin Miner with support for OpenCL-ready FPGA accelerators.
-
SENSE Public
SENSE (Symbolic controlEr Networked SystEms) is a C++ toolbox for constructing symbolic abstractions as well as synthesizing symbolic controllers for networked control systems. The tool has MATLAB …
-
CSCI5854_lab Public
Lab materials for class CSCI 5854 (Foundations of Autonomous Systems), University of Colorado Boulder, USA.
-
BDD2Implement Public
A C++ tool to generate hardware/software codes of BDD-based symbolic controllers.
-
ARCH20-FAUST Public
A repo for the codes used to generate the results from the tool FAUST as reported in the ARCH20 report.
-
hyconsys-talk-latex Public
A Latex template for presentations customized for the HyConSys lab.
TeX UpdatedJun 3, 2020 -
deepracer_av Public
A ROS-package to autonomously drive the AWS DeepRacer [under development].
-
autonomous_car_verification Public
Forked from rivapp/autonomous_car_verification -
DynObjLoader Public
A cross-platform static-link library for dynamic loading of pre-built C++ objects. You can use this to develop loadable plugins into your project. The plugins should be built for the same OS and th…
-
cudd-ready Public
A static-library version of the famous CUDD (Colorado University Decision Diagram) library.
C BSD 3-Clause "New" or "Revised" License UpdatedFeb 9, 2020 -
pFaces-iXplore Public
iXplore is an input-based state-space exploration engine. It finds input traces that satisfy/falsify a given requirement.
-
SymDetect Public
Implementation of non-deterministic finite automata (NFA)-based detectors for finite labelled transition systems (FLTS) as appeared in a paper
C++ Other UpdatedAug 9, 2019 -
Borri_NCS Public
mplementation of NCS abstraction construction as presented in: A. Borri, G. Pola, M. Benedetto, "A Symbolic Approach to the Design of Nonlinear Networked Control Systems" :: https://arxiv.org/abs/1…
C++ UpdatedAug 9, 2019 -