Sydney Katz's repositories
CS236G_VerifyGAN
Code for CS236G course project on using GANs to verify image-based controllers.
AI4AllRobotics2021
Materials for Stanford AI4All Robotics Team 2021
aircraftshapes
Aircraft shapes for use with the TikZ LaTeX package.
CS236_TaxiNatPN
Code for CS236 Final Project
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
IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
MergePOMDP
AA228 Final Project
ModelBasedTaxiNav
Code for CS231A project on model-based taxi navigation from runway images.
obstacle_avoidance_mpc
simple nonlinear MPC
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
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
yolov5_risk
YOLOv5 with risk driven training capabilities