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