Stanford Intelligent Systems Laboratory's repositories
NeuralVerification.jl
Methods to soundly verify deep neural networks
BayesNets.jl
Bayesian Networks for Julia
GridInterpolations.jl
Multidimensional grid interpolation in arbitrary dimensions
PicoSAT.jl
Julia bindings to the SAT solver picosat
ExprRules.jl
Functions for declaring and working with grammars and expression trees in Julia.
pygments-julia
Pygments lexer for Julia
POMDPStressTesting.jl
Adaptive stress testing of black-box systems within POMDPs.jl
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.
vehicleshapes
Vehicle (car) shapes for use with the Tikz LaTeX package.
BetaZero.jl
Belief-state planning for POMDPs using learned approximations
action_suggestions
A method of collaborative decision making using action suggestions by using the agent's policy to estimate the distribution over suggestions and treating a suggested action as an observation of the environment to update the agent's belief.
ConstructionBots.jl
An open-source multi-robot manufacturing simulator designed to test algorithms for multi-robot assembly planning.
SignalTemporalLogic.jl
Signal temporal logic (STL) formulas and robustness in Julia
TaskGraphs.jl
Precedence constrained multi-agent task assignment and path finding
RoombaPOMDPs.jl
Formulation of Roomba localization as a POMDP
LocalFunctionApproximation.jl
Scalar-valued local function approximation across a real-valued vector space
sislstrings.bib
Bibtex string constants for common references
CollisionAvoidancePOMDPs.jl
Aircraft collision avoidance POMDP in POMDPs.jl
SpillpointPOMDP.jl
Code for running spillpoint analysis
pygments-style-algfordm
Pygments style used in the textbook Algorithms for Decision Making
WildfirePOMDPs.jl
Wildfire resource allocation MDP and POMDP
BackwardMCTS
Perform a Monte Carlo tree search (MCTS) backward in time.
DensityIntegrator.jl
Construct prediction sets with known probability mass for arbitrary (moderately) high-dimensional probability density functions.
POMDPModelFidelityFramework.jl
Framework for sensitivity analysis of POMDP model fidelities