trhoangdung's repositories
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
cleverhans
An adversarial example library for constructing attacks, building defenses, and benchmarking both
CROWN-Robustness-Certification
CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions
deep_drone_acrobatics
Code for the project Deep Drone Acrobatics.
DeepRL
Modularized Implementation of Deep RL Algorithms in PyTorch
FACTEST
This is the repository for the FACTEST framework.
GDVB
GDVB: Systematic Generation of Diverse Benchmarks for DNN Verification
interval-bound-propagation
This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715
lingua-franca
A coordination language for defining and composing reactors. See the Wiki for documentation.
MADRaS
Multi-Agent DRiving Simulator
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
PyTorch_Gaussian_YOLOv3
PyTorch implementation of Gaussian YOLOv3 (including training code for COCO dataset)
quickzonoreach
Quick reachability using zonotopes.
rclc
ROS Client Library for the C language.
reinforcement-learning-an-introduction-examples
Python Implementation of Reinforcement Learning: An Introduction
reinforcement_learning_an_introduction
Notes and exercise solutions for second edition of Sutton & Barto's book
ReluVal
The released code of ReluVal in USENIX Security 2018
RnnVerify
Tool for formal verification of Recurrent Neural Networks
SemanticSegmentation
Semantic Segmentation with MATLAB
smoothing
Provable adversarial robustness at ImageNet scale
truncated-mvn-sampler
Reimplementation using Python of the minimax tilting algorithm by Botev (2016) for simulation and iid sampling of the truncated multivariate normal distribution.