lyg1597 Goto Github PK

acas-testing

adafruit_gps

An interrupt-based GPS library for no-parsing-required use

airsim

alpha-beta-crown

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)

arch2020_c2e2_repeatability

ardupilot

ArduPlane, ArduCopter, ArduRover source

c2e2-tool

The main verification tool

c2e2models

cs498ir_s2022

Course homework assignments for CS498IR, UIUC, Spring 2022

cyphyhouseexperiments

Repository for scripts used in demos and experiments

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.

ece417

ece470_lab2

ece584

firmware

PX4 Pro Autopilot Software

gazebonerfexp

imgaug

Image augmentation for machine learning experiments.

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.

multi_agent_verification

nerfexp

nnv

Neural Network Verification Software Tool

quadrotor_lqr

LQR controller for quadrotors

race-code

reachabilityanalysis.jl

Methods to compute sets of states reachable by dynamical systems

reachtube_plotter

robopose

Code for "Single-view robot pose and joint angle estimation via render & compare", CVPR 2021 (Oral).

scenario_runner

Traffic scenario definition and execution engine

travis_test

verse-library

Library for modeling, simulation, and verification of interacting autonomous agents