Stanford Intelligent Systems Laboratory's repositories
tufte_algorithms_book
A template for textbooks in the same style as Algorithms for Optimization
SatelliteDynamics.jl
SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
GridInterpolations.jl
Multidimensional grid interpolation in arbitrary dimensions
ExprOptimization.jl
Algorithms for optimization of Julia expressions
SceneInformer
This is the official implementation of the paper "Scene Informer: Anchor-based Occlusion Inference and Trajectory Prediction in Partially Observable Environments" by Bernard Lange, Jiachen Li, and Mykel J. Kochenderfer.
AA228-CS238-Student
Starter code and data files for AA228/CS238 at Stanford University, Autumn 2021
POMDPModelChecking.jl
Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
XPlaneConnectX
Python and Julia code for interfacing with X-Plane through UDP; similarly to XPlaneConnect, but also works for X-Plane 12.
SignalTemporalLogic.jl
Signal temporal logic (STL) formulas and robustness in Julia
SBO_AIPPMS
Gaussian Process-based Adaptive Informative Path Planning with Multimodal Sensing
sisl-deadlines
:alarm_clock: SISL conference deadline countdowns
BayesianSafetyValidation.jl
Estimate probability of failure using reframed Bayesian optimization
AA228Student.jl
Stanford University's AA228/CS238 student project workspace (Autumn 2019)
RoombaPOMDPs.jl
Formulation of Roomba localization as a POMDP
CollisionAvoidancePOMDPs.jl
Aircraft collision avoidance POMDP in POMDPs.jl
ConstrainedZero.jl
Chance-constrained POMDP solver integrated into POMDPs.jl
ASTPrompter
Weakly Supervised Automated Language Model Red-Teaming to Identify Likely Toxic Prompts.
ExpFamilyPCA.jl
A Julia package for exponential family principal component analysis (EPCA).
DividedRectangles.jl
Divided Rectangles global optimization method
NeRFSafetyValidation
Integrating Neural Radiance Fields (NeRFs) into safety validation for autonomous systems.
ventilators
Code for the paper "Optimal Control of Mechanical Ventilators with Learned Respiratory Dynamics"
ground-station-optimizer
Optimal selection of ground station providers and networks — 2025 IEEE Aerospace Conference