Bayesian Networks for Julia

Methods to soundly verify deep neural networks

Driving simulation architecture for Julia

Algorithms for optimization of Julia expressions

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

Multidimensional grid interpolation in arbitrary dimensions

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

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.

A Julia package for data discretization and label maps

2D and 3D vectors and their operations for Julia

Julia wrapper for the Spot LTL and automata manipulation library

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

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

Visualize automotive simulation from AutomotiveSimulator.jl

Relational piecewise-linear overapproximations of multi-dimensional functions

Framework for autonomous vehicle risk assessment

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

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

Wrapper for the CUDD library for decision diagrams

Precedence constrained multi-agent task assignment and path finding

Grammar-Based Decision Trees is a machine learning model for the interpretable classification and categorization of data.

Allow Markdown to be hidden and revealed in Jupyter

Formulation of Roomba localization as a POMDP

Define piecewise uniform densities over hypergrids

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