Stanford Intelligent Systems Laboratory

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

DICG

Deep Implicit Coordination Graphs

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

BetaZero.jl

Belief-state planning for POMDPs using learned approximations

Spot.jl

Julia wrapper for the Spot LTL and automata manipulation library

POMDPModelChecking.jl

Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl

PyroRL

An RL environment made for wildfire evacuation.

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

OVERTVerify.jl

sisl-deadlines

:alarm_clock: SISL conference deadline countdowns

AA228Student.jl

Stanford University's AA228/CS238 student project workspace (Autumn 2019)

BayesianSafetyValidation.jl

Estimate probability of failure using reframed Bayesian optimization

RoombaPOMDPs.jl

Formulation of Roomba localization as a POMDP

CollisionAvoidancePOMDPs.jl

Aircraft collision avoidance POMDP in POMDPs.jl

Kov.jl

Black-box red teaming/jailbreaking of large language models (LLMs) using MDPs

ConstrainedZero.jl

Chance-constrained POMDP solver integrated into POMDPs.jl

DiFS

Diffusion-based Failure Sampling

ASTPrompter

Weakly Supervised Automated Language Model Red-Teaming to Identify Likely Toxic Prompts.

DividedRectangles.jl

Divided Rectangles global optimization method

ExpFamilyPCA.jl

A Julia package for exponential family principal component analysis (E-PCA).

InformativePathPlanning

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"

CPOMCPPlus