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