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/order-reduction-pass
This is matlab prototype for order-reduction abstraction of large linear ODEs
trhoangdung/appinventor-sources
MIT App Inventor Public Open Source
trhoangdung/BreezyCreate2
Ultra-simple Python API for iRobot Create 2
trhoangdung/create2
Node.js API for Roomba 600 Series & iRobot Create 2
trhoangdung/Create2Control
A python library for controlling the iRobot Create2
trhoangdung/CWRU_ROS_SETUP
trhoangdung/DeepFool
A simple and accurate method to fool deep neural networks
trhoangdung/diffai
A system for training neural networks to be provably robust
trhoangdung/dreal
dReal: An SMT Solver for Nonlinear Theories of the Reals
trhoangdung/hylaa
Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
trhoangdung/LazySets.jl
A Julia package for calculus with convex sets
trhoangdung/meshpy
2D/3D simplicial mesh generator interface for Python (Triangle, TetGen, gmsh)
trhoangdung/mic_webgme
mini project 1 - car configuration models
trhoangdung/pi-robot-rc-android-bluetooth
Raspberry Pi Robot - Android Remote Control (Bluetooth)
trhoangdung/pycreate2
library for iRobot Create 2
trhoangdung/PyRoomba
Python module and program to control a Roomba 530 and its Rootooth module
trhoangdung/pytorch-tutorial
PyTorch Tutorial for Deep Learning Researchers
trhoangdung/PyTorch-Tutorial-1
Build your neural network easy and fast
trhoangdung/ReachReLUNN
Reachable set computation for ReLU neural network
trhoangdung/ReluplexCav2017
trhoangdung/ros1_tracetools
Tracing tools for ROS
trhoangdung/webgme-bip
trhoangdung/webgme-xmi-javaAPI
trhoangdung/xmi-tools
Tools for serializing webgme models into xml and examples of plugins wrtting in other languges