Pinned Repositories
ACAS-Testing
Adafruit_GPS
An interrupt-based GPS library for no-parsing-required use
ARCH2020_c2e2_repeatability
ardupilot
ArduPlane, ArduCopter, ArduRover source
c2e2models
cs498ir_s2022
Course homework assignments for CS498IR, UIUC, Spring 2022
CyPhyHouseExperiments
Repository for scripts used in demos and experiments
ECE417
ECE470_lab2
ECE584
lyg1597's Repositories
lyg1597/ACAS-Testing
lyg1597/Adafruit_GPS
An interrupt-based GPS library for no-parsing-required use
lyg1597/ARCH2020_c2e2_repeatability
lyg1597/ardupilot
ArduPlane, ArduCopter, ArduRover source
lyg1597/c2e2models
lyg1597/cs498ir_s2022
Course homework assignments for CS498IR, UIUC, Spring 2022
lyg1597/CyPhyHouseExperiments
Repository for scripts used in demos and experiments
lyg1597/ECE417
lyg1597/ECE470_lab2
lyg1597/ECE584
lyg1597/airsim
lyg1597/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)
lyg1597/C2E2-Tool
The main verification tool
lyg1597/Drone-Detection-YOLOv7
Introducing a curated dataset for drone detection and a state-of-the-art YOLOv7 model, enabling real-time and accurate identification of drones in complex environments.
lyg1597/Firmware
PX4 Pro Autopilot Software
lyg1597/gazeboNerfExp
lyg1597/imgaug
Image augmentation for machine learning experiments.
lyg1597/libretro-ppsspp
A PSP emulator for Android, Windows, Mac, Linux and Blackberry 10, written in C++. Want to contribute? Join us in #ppsspp on freenode (IRC) or just send pull requests / issues.
lyg1597/multi_agent_verification
lyg1597/NerfExp
lyg1597/nnv
Neural Network Verification Software Tool
lyg1597/Quadrotor_LQR
LQR controller for quadrotors
lyg1597/Race-Code
lyg1597/ReachabilityAnalysis.jl
Methods to compute sets of states reachable by dynamical systems
lyg1597/reachtube_plotter
lyg1597/robopose
Code for "Single-view robot pose and joint angle estimation via render & compare", CVPR 2021 (Oral).
lyg1597/scenario_runner
Traffic scenario definition and execution engine
lyg1597/travis_test
lyg1597/Verse-library
Library for modeling, simulation, and verification of interacting autonomous agents