Methods to soundly verify deep neural networks

Bayesian Networks for Julia

Efficient Large-Scale Multi-Drone Delivery Using Transit Networks

Driving simulation architecture for Julia

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

Multidimensional grid interpolation in arbitrary dimensions

Algorithms for optimization of Julia expressions

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

Julia library for deep reinforcement learning

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

Julia bindings to the SAT solver picosat

Package for automotive simulation in julia

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

Belief-state planning for POMDPs using learned approximations

A Julia package for data discretization and label maps

Julia wrapper for the Spot LTL and automata manipulation library

Relational piecewise-linear overapproximations of multi-dimensional functions

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

Visualize automotive simulation from AutomotiveSimulator.jl

Framework for autonomous vehicle risk assessment

Bayesian Optimal Monte Carlo Planning POMDP solver

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

2D and 3D vectors and their operations for Julia

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

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

Precedence constrained multi-agent task assignment and path finding

Signal temporal logic (STL) formulas and robustness in Julia

Wrapper for the CUDD library for decision diagrams

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

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

Allow Markdown to be hidden and revealed in Jupyter

Formulation of Roomba localization as a POMDP

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

Define piecewise uniform densities over hypergrids

Compact representations of multidimensional arrays

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

-

Freudenthal triangulation