Pinned Repositories
aa228-notebook
IJulia notebooks for AA228/CS238 Decision Making Under Uncertainty course at Stanford University
BayesNets.jl
Bayesian Networks for Julia
Chimp
General purpose framework for deep reinforcement learning
gail-driver
MADRL
Repo containing code for multi-agent deep reinforcement learning (MADRL).
MultiAgentAllocationTransit.jl
Efficient Large-Scale Multi-Drone Delivery Using Transit Networks
NeuralVerification.jl
Methods to soundly verify deep neural networks
ngsim_env
Learning human driver models from NGSIM data with imitation learning.
OptimizationCourse
tufte_algorithms_book
A template for textbooks in the same style as Algorithms for Optimization
Stanford Intelligent Systems Laboratory's Repositories
sisl/BayesNets.jl
Bayesian Networks for Julia
sisl/MPOPIS
Adaptive importance sampling modification to MPPI
sisl/SatelliteDynamics.jl
SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
sisl/Crux.jl
Julia library for deep reinforcement learning
sisl/DICG
Deep Implicit Coordination Graphs
sisl/InteractionImitation
Imitation Learning with the INTERACTION Dataset
sisl/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.
sisl/Spot.jl
Julia wrapper for the Spot LTL and automata manipulation library
sisl/BetaZero.jl
Belief-state planning for POMDPs using learned approximations
sisl/POMDPModelChecking.jl
Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
sisl/PyroRL
An RL environment made for wildfire evacuation.
sisl/ConstructionBots.jl
An open-source multi-robot manufacturing simulator designed to test algorithms for multi-robot assembly planning.
sisl/CUDD.jl
Wrapper for the CUDD library for decision diagrams
sisl/OVERTVerify.jl
sisl/BayesianSafetyValidation.jl
Estimate probability of failure using reframed Bayesian optimization
sisl/COBTSExperiments
sisl/Kov.jl
Black-box red teaming/jailbreaking of large language models (LLMs) using MDPs
sisl/sislstrings.bib
Bibtex string constants for common references
sisl/AA222Project0
Starter code for Project 0 of Stanford AA222/CS361 (Engineering Design Optimization)
sisl/AA222Project1
Starter code for Project 1 of Stanford AA222/CS361 (Engineering Design Optimization)
sisl/CPOMDPExperiments
sisl/WildcardArrays.jl
Compact representations of multidimensional arrays
sisl/AA222Project2
Starter code for Project 2 of Stanford AA222/CS361 (Engineering Design Optimization) Spring 2020
sisl/ConstrainedZero.jl
Chance-constrained POMDP solver integrated into POMDPs.jl
sisl/NeRFSafetyValidation
Integrating Neural Radiance Fields (NeRFs) into safety validation for autonomous systems.
sisl/RunwayPNPSolve.jl
sisl/DiFS
Diffusion-based Failure Sampling
sisl/InformativePathPlanning
sisl/LatentImportanceSampling
sisl/ventilators
Code for the paper "Optimal Control of Mechanical Ventilators with Learned Respiratory Dynamics"