-
Stars1
-
LanguageC
-
Created almost 4 years ago
-
Updated almost 4 years ago
Reviews
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Lab materials for class CSCI 5854 (Foundations of Autonomous Systems), University of Colorado Boulder, USA.
More Repositories
1
etoro-api
A python api for eToro automatically generated via the provided OpenAPI specifications.Python
50
2
DormantBitcoinHunter
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 a hunt for treasure ! If it finds a match, it will send an email.Python
39
3
jemdoc-ready
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.Python
9
4
pFaces-OmegaThreads
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and a 2d simulator are provided.C++
8
5
SENSE
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 and OMNet++ interfaces for closed loop simulation.C++
3
6
scots-ready
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.C
3
7
pFaces-AMYTISS
A tool for parallel automated controller synthesis for large-scale stochastic systems.C++
3
8
BDD2Implement
A C++ tool to generate hardware/software codes of BDD-based symbolic controllers.C++
1
9
pFaces-iXplore
iXplore is an input-based state-space exploration engine. It finds input traces that satisfy/falsify a given requirement.MATLAB
1
10
deepracer_av
A ROS-package to autonomously drive the AWS DeepRacer [under development].Python
1
11
ARCH20-FAUST
A repo for the codes used to generate the results from the tool FAUST as reported in the ARCH20 report.MATLAB
1