Bayesian Networks for Julia

Methods to soundly verify deep neural networks

Driving simulation architecture for Julia

Efficient Large-Scale Multi-Drone Delivery Using Transit Networks

Algorithms for optimization of Julia expressions

Multidimensional grid interpolation in arbitrary dimensions

Provides visualization tools for AutomotiveDrivingModels. Built on Cairo

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

Julia bindings to the SAT solver picosat

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

Stochastic Conflict-Based Allocation

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

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

A Julia package for data discretization and label maps

Package for automotive simulation in julia

Implementation of a highway merging scenario

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

2D and 3D vectors and their operations for Julia

Adaptive Stress Testing of black box systems using Monte Carlo Tree Search

Autonomous emergency braking system for pedestrian avoidance

Adversarial driving simulator for testing safety validation algorithms

Satellite Satellite Tasking and Planning Tools and Analysis

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

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

Visualize automotive simulation from AutomotiveSimulator.jl

Julia wrapper for the Spot LTL and automata manipulation library

Stanford University's AA228/CS238 student project workspace (Autumn 2019)

Driver modeling using the Interaction dataset

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

Define piecewise uniform densities over hypergrids

Wrapper for the CUDD library for decision diagrams

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

A Julia wrapper for the Smile C++ Structural Modeling, Inference, and Learning Engine for Bayesian & Influence Networks

Freudenthal triangulation

Freudenthal triangulation