Discover sisl/MineralExploration Open Source project

A template for textbooks in the same style as Algorithms for Optimization

659

tufte_algorithms_book

Methods to soundly verify deep neural networks

350

NeuralVerification.jl

Bayesian Networks for Julia

222

BayesNets.jl

Learning human driver models from NGSIM data with imitation learning.

217

ngsim_env

IJulia notebooks for AA228/CS238 Decision Making Under Uncertainty course at Stanford University

173

aa228-notebook

gail-driver

MPOPIS

Adaptive importance sampling modification to MPPI

Efficient Large-Scale Multi-Drone Delivery Using Transit Networks

MultiAgentAllocationTransit.jl

OptimizationCourse

General purpose framework for deep reinforcement learning

Chimp

Driving simulation architecture for Julia

AutomotiveDrivingModels.jl

SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.

SatelliteDynamics.jl

Multidimensional grid interpolation in arbitrary dimensions

GridInterpolations.jl

Implementation of TAAConvLSTM and SAAConvLSTM used in "Attention Augmented ConvLSTM for Environment Prediction"

AttentionAugmentedConvLSTM

Stochastic Conflict-Based Allocation

SCoBA.jl

Source code for "Deep Dynamical Modeling and Control of Unsteady Fluid Flows" from NeurIPS 2018

deep_flow_control

Julia library for deep reinforcement learning

Crux.jl

Julia Package for discrete-time linear Gaussian parametric filtering systems, namely KF, EKF, UKF, GM-PHD

GaussianFilters.jl

POMDP formulation of a pedestrian avoidance problem for autonomous driving

PedestrianAvoidancePOMDP.jl

Algorithms for optimization of Julia expressions

ExprOptimization.jl

Deep Implicit Coordination Graphs

DICG

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.

NNet

Source code for "Deep Variational Koopman Models: Inferring Koopman Observations for Uncertainty-Aware Dynamics Modeling and Control" from IJCAI 2019.

variational_koopman

A Julia package for handling the Next Generation Simulation (NGSIM) traffic dataset

NGSIM.jl

A toolbox for worst-case validation of autonomous policies

AdaptiveStressTestingToolbox

Provides visualization tools for AutomotiveDrivingModels. Built on Cairo

AutoViz.jl

gail, infogail, hierarchical gail implementations

hgail

A latex package for displaying plots made in Julia

juliaplots.sty

Implementation of a highway merging scenario

AutonomousMerging.jl

Aircraft shapes for use with the TikZ LaTeX package.

aircraftshapes

Flexible interactive visualization for large trees in Julia using D3.js

D3Trees.jl

Julia bindings to the SAT solver picosat

PicoSAT.jl

Simulator for the INTERACTION dataset

InteractionSimulator

Package for automotive simulation in julia

AutomotiveSimulator.jl

Imitation Learning with the INTERACTION Dataset

InteractionImitation

AA120Q

AA120Q Course Materials

Training and evaluation scripts for applying formal methods and reinforcement learning to autonomous driving problems.

AutomotiveSafeRL

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

ExprRules.jl

Simulation and control of an autonomous car on a multilane highway in a (PO)MDP framework

Multilane.jl

AutomotivePOMDPs.jl

Structured framework for learning mechanical systems in PyTorch

mechamodlearn

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.

SceneInformer

Starter code and data files for AA228/CS238 at Stanford University, Autumn 2021

HorizontalCAS

AA228-CS238-Student

Belief-state planning for POMDPs using learned approximations

BetaZero.jl

This is the official implementation of LOPR used in "LOPR: Latent Occupancy PRediction using Generative Models"

LOPR

Customer simulation for direct marketing experiments

CustomerSim

pygments-julia

Pygments lexer for Julia

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.

MultiAgentVariationalOcclusionInference

A Julia package for data discretization and label maps

Discretizers.jl

Relational piecewise-linear overapproximations of multi-dimensional functions

OVERT.jl

Double-Prong ConvLSTM for Spatiotemporal Occupancy Prediction in Dynamic Environments

Double-Prong-Occupancy

InterpretableSelfAwarePrediction

DreamrHHP

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

vehicleshapes

Julia wrapper for the Spot LTL and automata manipulation library

Spot.jl

Repository for "Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position Data"

terminal-airspace-models

Jointly learning policies and latent representations for driver behavior.

latent_driver

An RL environment made for wildfire evacuation.

PyroRL

DecNashPlanning

Python and Julia code for interfacing with X-Plane through UDP; similarly to XPlaneConnect, but also works for X-Plane 12.

XPlaneConnectX

Framework for autonomous vehicle risk assessment

AutonomousRiskFramework.jl

Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl

POMDPModelChecking.jl

Visualize automotive simulation from AutomotiveSimulator.jl

AutomotiveVisualization.jl

Bayesian Optimal Monte Carlo Planning POMDP solver

BOMCP.jl

Model Primitive Hierarchical Reinforcement Learning

MPHRL

Autonomous emergency braking system for pedestrian avoidance

EmergencyBrakingSystem.jl

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

POMDPStressTesting.jl

Adversarial driving simulator for testing safety validation algorithms

AdversarialDriving.jl

2D and 3D vectors and their operations for Julia

Vec.jl

Package template and guide for setting up continuous integration and documentation deployment.

ROSOccupancyGridPrediction

C++

JuliaPackageTemplate.jl

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.

action_suggestions

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

ConstructionBots.jl

Unofficial wrapper of the IAU SOFA C libraries for fundamental astronomy.

SOFA.jl

VerticalCAS

Forcefully push large files to GitHub without using LFS by automatically detecting, compressing and splitting ≥100 MB files into partitions.

GitHub-ForceLargeFiles

Precedence constrained multi-agent task assignment and path finding

TaskGraphs.jl

pomdpland

A tour of Pomdpland

Code for Paper "Evidential Softmax for Sparse MultimodalDistributions in Deep Generative Models"

EvSoftmax

Conflict avoidance algorithm for unmanned aircraft traffic management

ConflictAvoidanceDASC

Signal temporal logic (STL) formulas and robustness in Julia

SignalTemporalLogic.jl

Stanford's AA222 IJulia Notebooks

LSTM-acc-predict

Lua

aa222-notebook

Belief state estimation for Stanford's CS238/AA228 Decision Making Under Uncertainty

StateEstimation.jl

A codebase for running the MPPI algorithm on OpenAI gym style environments

MPPITutorial

Driver modeling using the Interaction dataset

AutomotiveInteraction.jl

Gaussian Process-based Adaptive Informative Path Planning with Multimodal Sensing

SBO_AIPPMS

A collection of tools for conducting deep reinforcement learning experiments

rltools

Wrapper for the CUDD library for decision diagrams

CUDD.jl

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

CEEM

Companion code for "Verification of Image-based Controllers Using Generative Models"

VerifyGAN

Additional packages for AutomotiveDrivingModels.jl in urban driving simulation

AutoUrban.jl

CARS workshop on NeuralVerification.jl

NeuralVerification-CARS-Workshop

OVERTVerify.jl

Julia interface for Gradescope autograding

Gradescope.jl

Satellite Satellite Tasking and Planning Tools and Analysis

SatelliteTasking.jl

An implementation of the cross entropy method that works well for time series

CrossEntropyMethod.jl

100

PerceptionAdaptiveStressTesting