Popular repositories
-
tufte_algorithms_book
tufte_algorithms_book Public templateA template for textbooks in the same style as Algorithms for Optimization
-
NeuralVerification.jl
NeuralVerification.jl PublicMethods to soundly verify deep neural networks
-
-
aa228-notebook
aa228-notebook PublicIJulia notebooks for AA228/CS238 Decision Making Under Uncertainty course at Stanford University
Repositories
Showing 10 of 241 repositories
- SatelliteDynamics.jl Public
SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
- BayesianSafetyValidation.jl Public
Estimate probability of failure using reframed Bayesian optimization
- POMDPModelChecking.jl Public
Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
-
-
- ventilators Public
Code for the paper "Optimal Control of Mechanical Ventilators with Learned Respiratory Dynamics"
- AA222Project2 Public
Starter code for Project 2 of Stanford AA222/CS361 (Engineering Design Optimization) Spring 2020