Discover sisl/AutoViz.jl Open Source project

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

651

tufte_algorithms_book

Methods to soundly verify deep neural networks

349

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

172

aa228-notebook

gail-driver

MultiAgentAllocationTransit.jl

Efficient Large-Scale Multi-Drone Delivery Using Transit Networks

General purpose framework for deep reinforcement learning

Chimp

OptimizationCourse

Driving simulation architecture for Julia

AutomotiveDrivingModels.jl

Adaptive importance sampling modification to MPPI

MPOPIS

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

SatelliteDynamics.jl

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

AttentionAugmentedConvLSTM

Multidimensional grid interpolation in arbitrary dimensions

GridInterpolations.jl

Stochastic Conflict-Based Allocation

SCoBA.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

Julia library for deep reinforcement learning

Crux.jl

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

deep_flow_control

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

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

NGSIM.jl

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

variational_koopman

A toolbox for worst-case validation of autonomous policies

AdaptiveStressTestingToolbox

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

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

D3Trees.jl

Julia bindings to the SAT solver picosat

PicoSAT.jl

Aircraft shapes for use with the TikZ LaTeX package.

aircraftshapes

Package for automotive simulation in julia

AutomotiveSimulator.jl

Imitation Learning with the INTERACTION Dataset

InteractionImitation

Simulator for the INTERACTION dataset

InteractionSimulator

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

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 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

Customer simulation for direct marketing experiments

CustomerSim

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

LOPR

pygments-julia

Pygments lexer for Julia

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

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

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

DecNashPlanning

Framework for autonomous vehicle risk assessment

AutonomousRiskFramework.jl

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

vehicleshapes

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

An RL environment made for wildfire evacuation.

PyroRL

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

MineralExploration

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

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

Precedence constrained multi-agent task assignment and path finding

TaskGraphs.jl

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

ROSOccupancyGridPrediction

C++

EvSoftmax

Conflict avoidance algorithm for unmanned aircraft traffic management

ConflictAvoidanceDASC

VerticalCAS

Signal temporal logic (STL) formulas and robustness in Julia

SignalTemporalLogic.jl

Stanford's AA222 IJulia Notebooks

LSTM-acc-predict

Lua

aa222-notebook

Driver modeling using the Interaction dataset

AutomotiveInteraction.jl

A collection of tools for conducting deep reinforcement learning experiments

rltools

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

GitHub-ForceLargeFiles

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

StateEstimation.jl

Wrapper for the CUDD library for decision diagrams

CUDD.jl

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

MPPITutorial

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

Gaussian Process-based Adaptive Informative Path Planning with Multimodal Sensing

SBO_AIPPMS

Additional packages for AutomotiveDrivingModels.jl in urban driving simulation

AutoUrban.jl

CARS workshop on NeuralVerification.jl

NeuralVerification-CARS-Workshop

OVERTVerify.jl

Satellite Satellite Tasking and Planning Tools and Analysis

SatelliteTasking.jl

Julia interface for Gradescope autograding

Gradescope.jl

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

CrossEntropyMethod.jl

PerceptionAdaptiveStressTesting

LearnDiscreteBayesNets.jl

Repo for aircraft trajectory learning algorithm used for the terminal airspace modeling project

100

terminal_airspace_modeling