Stanford Intelligent Systems Laboratory

Repositories

• NeuralVerification.jl

  Methods to soundly verify deep neural networks
  Julia MIT 28 114 24 3 Updated Sep 10, 2020

• POMDPStressTesting.jl

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

  black-box simulation pomdps stress-test solvers
  Julia 0 1 3 0 Updated Sep 10, 2020

• AdaptiveStressTestingToolbox

  A toolbox for worst-case validation of autonomous policies
  Python MIT 3 12 6 2 Updated Sep 10, 2020

• algorithmsbook

  Preview of the textbook Algorithms for Decision Making
  0 9 0 0 Updated Sep 10, 2020

• POMDPModelChecking.jl

  Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl
  Jupyter Notebook 2 5 3 0 Updated Sep 8, 2020

• CrossEntropyMethod.jl

  An implementation of the cross entropy method that works well for time series
  Julia MIT 1 1 0 0 Updated Sep 6, 2020

• Gradescope.jl

  Julia interface for Gradescope autograding
  Julia 0 2 0 0 Updated Sep 2, 2020

• algforopt-errata

  Errata for Algorithms for Optimization book
  3 7 0 0 Updated Sep 2, 2020

• VerticalCAS
  Julia MIT 2 3 0 0 Updated Sep 1, 2020

• AutonomousMerging.jl

  Implementation of a highway merging scenario
  Julia MIT 1 10 1 0 Updated Aug 29, 2020

• BayesNets.jl

  Bayesian Networks for Julia
  Julia 39 142 15 (1 issue needs help) 1 Updated Aug 22, 2020

• MultivariateTimeSeries.jl

  A package for storing and working with heterogeneous multivariate time series datasets.
  Julia 0 1 0 0 Updated Aug 17, 2020

• GBDTs.jl

  Grammar-Based Decision Trees is a machine learning model for the interpretable classification and categorization of data.
  Julia 1 2 0 0 Updated Aug 17, 2020

• DecomposedMDPSolver.jl

  Tools for solving a decomposed MDP
  Julia MIT 1 0 1 0 Updated Aug 15, 2020

• MADRL

  Repo containing code for multi-agent deep reinforcement learning (MADRL).
  Python MIT 84 294 3 0 Updated Aug 14, 2020

• Obfuscatee.jl

  Receiving end of obfuscated Julia code
  Julia 0 0 0 0 Updated Aug 12, 2020

• RedPen.jl

  Grading project assignments in Julia
  Julia 0 0 3 0 Updated Aug 12, 2020

• AutomotiveSimulator.jl

  Package for automotive simulation in julia
  Julia 3 6 2 0 Updated Aug 10, 2020

• CUDD.jl

  Wrapper for the CUDD library for decision diagrams
  Julia 5 2 1 0 Updated Aug 6, 2020

• AdversarialGridworld.jl

  Gridworld with Adversary. Has regular MDP and an adversarial MDP for safety validation
  Julia MIT 0 0 0 0 Updated Aug 4, 2020

• AdversarialDriving.jl

  Adversarial driving simulator for testing safety validation algorithms
  Julia MIT 0 3 1 0 Updated Aug 2, 2020

• CEEM

  Certainty-Equivalent Expectation Maximization: a scalable algorithm for system identification of partially observed systems

  machine-learning robotics system-identification partially-observable-environment
  Python 0 5 0 0 Updated Jul 31, 2020

• HorizontalCAS
  C MIT 1 10 0 0 Updated Jul 30, 2020

• ExprOptimization.jl

  Algorithms for optimization of Julia expressions
  Jupyter Notebook 9 27 0 0 Updated Jul 22, 2020

• sislstrings.bib

  Bibtex string constants for common references
  TeX 1 0 0 0 Updated Jul 20, 2020

• pygments-julia

  Pygments lexer for Julia
  Python MIT 2 10 1 0 Updated Jul 18, 2020

• SatelliteDynamics.jl

  SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
  Julia MIT 3 17 1 0 Updated Jul 18, 2020

• ExprRules.jl

  Base functions for generating and optimizing Julia expressions from a grammar.
  Julia 4 10 1 1 Updated Jul 17, 2020

• PicoSAT.jl

  Julia bindings to the SAT solver picosat
  Julia 7 13 2 0 Updated Jul 17, 2020

• InterpretableValidation.jl

  Sampling Functionality for LTL
  Julia MIT 0 0 0 0 Updated Jul 15, 2020