trhoangdung's repositories
reinforcement-learning-an-introduction-examples
Python Implementation of Reinforcement Learning: An Introduction
DeepRL
Modularized Implementation of Deep RL Algorithms in PyTorch
reinforcement_learning_an_introduction
Notes and exercise solutions for second edition of Sutton & Barto's book
rclc
ROS Client Library for the C language.
lingua-franca
A coordination language for defining and composing reactors. See the Wiki for documentation.
nnenum
Neural Network Enumeration Tool
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.
PyTorch_Gaussian_YOLOv3
PyTorch implementation of Gaussian YOLOv3 (including training code for COCO dataset)
acasxu_closed_loop_sim
Closed-loop simulation code using ACAS Xu neural networks for collision avoidance
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
GDVB
GDVB: Systematic Generation of Diverse Benchmarks for DNN Verification
AirSim
Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research
RnnVerify
Tool for formal verification of Recurrent Neural Networks
deep_drone_acrobatics
Code for the project Deep Drone Acrobatics.
SemanticSegmentation
Semantic Segmentation with MATLAB
quickzonoreach
Quick reachability using zonotopes.
cleverhans
An adversarial example library for constructing attacks, building defenses, and benchmarking both
FACTEST
This is the repository for the FACTEST framework.
MADRaS
Multi-Agent DRiving Simulator
interval-bound-propagation
This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715
mushr
MuSHR: Multi-agent System for non-Holonomic Racing
AeroBenchVVPython
Python Version of F-16 Maneuver Verification Benchmark
smoothing
Provable adversarial robustness at ImageNet scale
ReluVal
The released code of ReluVal in USENIX Security 2018
CROWN-Robustness-Certification
CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions