smkatz12 Goto Github PK

ai4allrobotics2021

Materials for Stanford AI4All Robotics Team 2021

aircraftshapes

Aircraft shapes for use with the TikZ LaTeX package.

cs224r_generative

cs230_daa

CS230 course project on implementing a vision-based detect and avoid (DAA) system

cs236_taxinatpn

Code for CS236 Final Project

cs236g_verifygan

Code for CS236G course project on using GANs to verify image-based controllers.

discretevalueiteration.jl

Value iteration solver for MDPs

em-overview

Overview of the aircraft encounter models that support safety analysis and development of aircraft avoidance systems.

filteringprefs

AA273 Project

flux-vae

Implementation of a Convolutional Variational Autoencoder in Flux.jl

griddensities.jl

imagegridworld

intervalarithmetic.jl

Library for validated numerics using interval arithmetic

meanfieldmdp

mergepomdp

AA228 Final Project

modelbasedtaxinav

Code for CS231A project on model-based taxi navigation from runway images.

multilevelestimation

obstacle_avoidance_mpc

simple nonlinear MPC

robustnessevaluation.jl

satcvc

Final Project for AA277

simplerender

Provides functions to render simple image observations for openai gym problems to create simple image-based controllers.

sisl-deadlines

:alarm_clock: SISL conference deadline countdowns

uam_speed

uam_vertical

uampref

Companion code for S. M. Katz, A. LeBihan, and M. J. Kochenderfer, “Learning an urban air mobility encounter model from expert preferences,” in Digital Avionics Systems Conference (DASC), 2019

xrsim

yolov5_risk

YOLOv5 with risk driven training capabilities