Sydney Katz's repositories
IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
ModelBasedTaxiNav
Code for CS231A project on model-based taxi navigation from runway images.
obstacle_avoidance_mpc
simple nonlinear MPC
yolov5_risk
YOLOv5 with risk driven training capabilities
CS236_TaxiNatPN
Code for CS236 Final Project
sisl-deadlines
:alarm_clock: SISL conference deadline countdowns
CS236G_VerifyGAN
Code for CS236G course project on using GANs to verify image-based controllers.
AI4AllRobotics2021
Materials for Stanford AI4All Robotics Team 2021
SimpleRender
Provides functions to render simple image observations for openai gym problems to create simple image-based controllers.
flux-vae
Implementation of a Convolutional Variational Autoencoder in Flux.jl
FilteringPrefs
AA273 Project
em-overview
Overview of the aircraft encounter models that support safety analysis and development of aircraft avoidance systems.
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
aircraftshapes
Aircraft shapes for use with the TikZ LaTeX package.
SatCVC
Final Project for AA277
DiscreteValueIteration.jl
Value iteration solver for MDPs
MergePOMDP
AA228 Final Project