MADRL
Repo containing code for multi-agent deep reinforcement learning (MADRL).tufte_algorithms_book
A template for textbooks in the same style as Algorithms for OptimizationNeuralVerification.jl
Methods to soundly verify deep neural networksBayesNets.jl
Bayesian Networks for Juliangsim_env
Learning human driver models from NGSIM data with imitation learning.aa228-notebook
IJulia notebooks for AA228/CS238 Decision Making Under Uncertainty course at Stanford Universitygail-driver
MultiAgentAllocationTransit.jl
Efficient Large-Scale Multi-Drone Delivery Using Transit NetworksChimp
General purpose framework for deep reinforcement learningOptimizationCourse
AutomotiveDrivingModels.jl
Driving simulation architecture for JuliaMPOPIS
Adaptive importance sampling modification to MPPISatelliteDynamics.jl
SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.AttentionAugmentedConvLSTM
Implementation of TAAConvLSTM and SAAConvLSTM used in "Attention Augmented ConvLSTM for Environment Prediction"GridInterpolations.jl
Multidimensional grid interpolation in arbitrary dimensionsSCoBA.jl
Stochastic Conflict-Based AllocationGaussianFilters.jl
Julia Package for discrete-time linear Gaussian parametric filtering systems, namely KF, EKF, UKF, GM-PHDPedestrianAvoidancePOMDP.jl
POMDP formulation of a pedestrian avoidance problem for autonomous drivingCrux.jl
Julia library for deep reinforcement learningdeep_flow_control
Source code for "Deep Dynamical Modeling and Control of Unsteady Fluid Flows" from NeurIPS 2018ExprOptimization.jl
Algorithms for optimization of Julia expressionsDICG
Deep Implicit Coordination GraphsNNet
Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.NGSIM.jl
A Julia package for handling the Next Generation Simulation (NGSIM) traffic datasetvariational_koopman
Source code for "Deep Variational Koopman Models: Inferring Koopman Observations for Uncertainty-Aware Dynamics Modeling and Control" from IJCAI 2019.AdaptiveStressTestingToolbox
A toolbox for worst-case validation of autonomous policiesAutoViz.jl
Provides visualization tools for AutomotiveDrivingModels. Built on Cairohgail
gail, infogail, hierarchical gail implementationsjuliaplots.sty
A latex package for displaying plots made in JuliaAutonomousMerging.jl
Implementation of a highway merging scenarioD3Trees.jl
Flexible interactive visualization for large trees in Julia using D3.jsPicoSAT.jl
Julia bindings to the SAT solver picosataircraftshapes
Aircraft shapes for use with the TikZ LaTeX package.AutomotiveSimulator.jl
Package for automotive simulation in juliaInteractionImitation
Imitation Learning with the INTERACTION DatasetInteractionSimulator
Simulator for the INTERACTION datasetAA120Q
AA120Q Course MaterialsAutomotiveSafeRL
Training and evaluation scripts for applying formal methods and reinforcement learning to autonomous driving problems.ExprRules.jl
Functions for declaring and working with grammars and expression trees in Julia.Multilane.jl
Simulation and control of an autonomous car on a multilane highway in a (PO)MDP frameworkAutomotivePOMDPs.jl
mechamodlearn
Structured framework for learning mechanical systems in PyTorchHorizontalCAS
AA228-CS238-Student
Starter code and data files for AA228/CS238 at Stanford University, Autumn 2021BetaZero.jl
Belief-state planning for POMDPs using learned approximationsSceneInformer
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.CustomerSim
Customer simulation for direct marketing experimentsLOPR
This is the official implementation of LOPR used in "LOPR: Latent Occupancy PRediction using Generative Models"pygments-julia
Pygments lexer for JuliaDiscretizers.jl
A Julia package for data discretization and label mapsOVERT.jl
Relational piecewise-linear overapproximations of multi-dimensional functionsDouble-Prong-Occupancy
Double-Prong ConvLSTM for Spatiotemporal Occupancy Prediction in Dynamic EnvironmentsInterpretableSelfAwarePrediction
DreamrHHP
Spot.jl
Julia wrapper for the Spot LTL and automata manipulation libraryterminal-airspace-models
Repository for "Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position Data"latent_driver
Jointly learning policies and latent representations for driver behavior.MultiAgentVariationalOcclusionInference
Multi-agent occlusion inference using observed driver behaviors. A driver sensor model is learned using a conditional variational autoencoder. Information from multiple drivers is fused into an ego vehicle's map using evidential theory.DecNashPlanning
AutonomousRiskFramework.jl
Framework for autonomous vehicle risk assessmentvehicleshapes
Vehicle (car) shapes for use with the Tikz LaTeX package.POMDPModelChecking.jl
Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jlAutomotiveVisualization.jl
Visualize automotive simulation from AutomotiveSimulator.jlBOMCP.jl
Bayesian Optimal Monte Carlo Planning POMDP solverPyroRL
An RL environment made for wildfire evacuation.MPHRL
Model Primitive Hierarchical Reinforcement LearningEmergencyBrakingSystem.jl
Autonomous emergency braking system for pedestrian avoidancePOMDPStressTesting.jl
Adaptive stress testing of black-box systems within POMDPs.jlAdversarialDriving.jl
Adversarial driving simulator for testing safety validation algorithmsVec.jl
2D and 3D vectors and their operations for JuliaMineralExploration
JuliaPackageTemplate.jl
Package template and guide for setting up continuous integration and documentation deployment.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.SOFA.jl
Unofficial wrapper of the IAU SOFA C libraries for fundamental astronomy.TaskGraphs.jl
Precedence constrained multi-agent task assignment and path findingROSOccupancyGridPrediction
EvSoftmax
Code for Paper "Evidential Softmax for Sparse MultimodalDistributions in Deep Generative Models"ConflictAvoidanceDASC
Conflict avoidance algorithm for unmanned aircraft traffic managementVerticalCAS
SignalTemporalLogic.jl
Signal temporal logic (STL) formulas and robustness in JuliaLSTM-acc-predict
aa222-notebook
Stanford's AA222 IJulia NotebooksAutomotiveInteraction.jl
Driver modeling using the Interaction datasetrltools
A collection of tools for conducting deep reinforcement learning experimentsGitHub-ForceLargeFiles
Forcefully push large files to GitHub without using LFS by automatically detecting, compressing and splitting ≥100 MB files into partitions.StateEstimation.jl
Belief state estimation for Stanford's CS238/AA228 Decision Making Under UncertaintyCUDD.jl
Wrapper for the CUDD library for decision diagramsMPPITutorial
A codebase for running the MPPI algorithm on OpenAI gym style environmentsCEEM
Certainty-Equivalent Expectation Maximization: a scalable algorithm for system identification of partially observed systemsVerifyGAN
Companion code for "Verification of Image-based Controllers Using Generative Models"SBO_AIPPMS
Gaussian Process-based Adaptive Informative Path Planning with Multimodal SensingAutoUrban.jl
Additional packages for AutomotiveDrivingModels.jl in urban driving simulationNeuralVerification-CARS-Workshop
CARS workshop on NeuralVerification.jlOVERTVerify.jl
SatelliteTasking.jl
Satellite Satellite Tasking and Planning Tools and AnalysisGradescope.jl
Julia interface for Gradescope autogradingCrossEntropyMethod.jl
An implementation of the cross entropy method that works well for time seriesPerceptionAdaptiveStressTesting
LearnDiscreteBayesNets.jl
Love Open Source and this site? Check out how you can help us