Stanford Intelligent Systems Laboratory (sisl)

Stanford Intelligent Systems Laboratory

sisl

Geek Repo

Location:Stanford, CA

Home Page:sisl.stanford.edu

Github PK Tool:Github PK Tool

Stanford Intelligent Systems Laboratory's repositories

NeuralVerification.jl

Methods to soundly verify deep neural networks

Language:JuliaLicense:MITStargazers:216Issues:27Issues:115

BayesNets.jl

Bayesian Networks for Julia

Language:JuliaLicense:NOASSERTIONStargazers:214Issues:30Issues:68

GridInterpolations.jl

Multidimensional grid interpolation in arbitrary dimensions

Language:JuliaLicense:NOASSERTIONStargazers:46Issues:16Issues:22

Crux.jl

Julia library for deep reinforcement learning

Language:JuliaLicense:MITStargazers:40Issues:5Issues:6

PicoSAT.jl

Julia bindings to the SAT solver picosat

Language:JuliaLicense:NOASSERTIONStargazers:28Issues:4Issues:14

ExprRules.jl

Functions for declaring and working with grammars and expression trees in Julia.

Language:JuliaLicense:NOASSERTIONStargazers:24Issues:6Issues:29

pygments-julia

Pygments lexer for Julia

Language:PythonLicense:MITStargazers:18Issues:16Issues:7

POMDPStressTesting.jl

Adaptive stress testing of black-box systems within POMDPs.jl

Language:JuliaLicense:NOASSERTIONStargazers:13Issues:5Issues:12

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.

Language:PythonLicense:MITStargazers:13Issues:10Issues:2

vehicleshapes

Vehicle (car) shapes for use with the Tikz LaTeX package.

Language:TeXLicense:MITStargazers:13Issues:16Issues:0

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.

Language:JuliaStargazers:10Issues:2Issues:0

ConstructionBots.jl

An open-source multi-robot manufacturing simulator designed to test algorithms for multi-robot assembly planning.

Language:JuliaLicense:MITStargazers:9Issues:4Issues:26

SignalTemporalLogic.jl

Signal temporal logic (STL) formulas and robustness in Julia

Language:JuliaLicense:NOASSERTIONStargazers:9Issues:8Issues:7

TaskGraphs.jl

Precedence constrained multi-agent task assignment and path finding

Language:JuliaLicense:MITStargazers:9Issues:4Issues:4
Language:Jupyter NotebookLicense:MITStargazers:5Issues:8Issues:2

RoombaPOMDPs.jl

Formulation of Roomba localization as a POMDP

LocalFunctionApproximation.jl

Scalar-valued local function approximation across a real-valued vector space

Language:JuliaLicense:NOASSERTIONStargazers:4Issues:3Issues:4

sislstrings.bib

Bibtex string constants for common references

Language:TeXStargazers:3Issues:18Issues:0

CollisionAvoidancePOMDPs.jl

Aircraft collision avoidance POMDP in POMDPs.jl

Language:JuliaStargazers:2Issues:0Issues:0

SpillpointPOMDP.jl

Code for running spillpoint analysis

Language:JuliaLicense:MITStargazers:2Issues:4Issues:0

pygments-style-algfordm

Pygments style used in the textbook Algorithms for Decision Making

Language:PythonLicense:MITStargazers:1Issues:8Issues:1

PyroRL

An RL OpenAI Gym environment made for wildfire evacuation.

WildfirePOMDPs.jl

Wildfire resource allocation MDP and POMDP

Language:JuliaStargazers:1Issues:9Issues:0

BackwardMCTS

Perform a Monte Carlo tree search (MCTS) backward in time.

Language:JuliaLicense:MITStargazers:0Issues:1Issues:0

DensityIntegrator.jl

Construct prediction sets with known probability mass for arbitrary (moderately) high-dimensional probability density functions.

Language:JuliaStargazers:0Issues:9Issues:1
Language:JuliaStargazers:0Issues:3Issues:0

POMDPModelFidelityFramework.jl

Framework for sensitivity analysis of POMDP model fidelities

Language:JuliaStargazers:0Issues:2Issues:0
Language:JuliaStargazers:0Issues:9Issues:0