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

Multidimensional grid interpolation in arbitrary dimensions

Algorithms for optimization of Julia expressions

Provides visualization tools for AutomotiveDrivingModels. Built on Cairo

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

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

A Julia package for data discretization and label maps

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

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

Implementation of a highway merging scenario

Base functions for generating and optimizing Julia expressions from a grammar.

2D and 3D vectors and their operations for Julia

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

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 using Monte Carlo Tree Search

Package for automotive simulation in julia

Stanford University's AA228/CS238 student project workspace

Autonomous emergency braking system for pedestrian avoidance

Julia wrapper for the Spot LTL and automata manipulation library

Visualize automotive simulation from AutomotiveSimulator.jl

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

Additional packages for AutomotiveDrivingModels.jl in urban driving simulation

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

Wrapper for the CUDD library for decision diagrams