trhoangdung Goto Github PK

acasxu_closed_loop_sim

Closed-loop simulation code using ACAS Xu neural networks for collision avoidance

aerobenchvvpython

Python Version of F-16 Maneuver Verification Benchmark

airsim

Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research

allrepair

appinventor-sources

MIT App Inventor Public Open Source

breezycreate2

Ultra-simple Python API for iRobot Create 2

cleverhans

An adversarial example library for constructing attacks, building defenses, and benchmarking both

create2

Node.js API for Roomba 600 Series & iRobot Create 2

create2control

A python library for controlling the iRobot Create2

crown-robustness-certification

CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions

cwru_ros_setup

deep_drone_acrobatics

Code for the project Deep Drone Acrobatics.

deepfool

A simple and accurate method to fool deep neural networks

deeprl

Modularized Implementation of Deep RL Algorithms in PyTorch

diffai

A system for training neural networks to be provably robust

dnnv

A Framework for Deep Neural Network Verification

dreal

dReal: An SMT Solver for Nonlinear Theories of the Reals

factest

This is the repository for the FACTEST framework.

gdvb

GDVB: Systematic Generation of Diverse Benchmarks for DNN Verification

hylaa

Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs

interval-bound-propagation

This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715

lazysets.jl

A Julia package for calculus with convex sets

lingua-franca

A coordination language for defining and composing reactors. See the Wiki for documentation.

madras

Multi-Agent DRiving Simulator

meshpy

2D/3D simplicial mesh generator interface for Python (Triangle, TetGen, gmsh)

mic_webgme

mini project 1 - car configuration models

mushr

MuSHR: Multi-agent System for non-Holonomic Racing

nnenum

Neural Network Enumeration Tool

nnet

Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.

nnv

Neural Network Verification Software Tool