The Adaptive Stress Testing for Robust AI (ASTRA) toolbox provides tooling to support model developers and testing in the full life cycle of making more robust AI Systems through the application of…

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

Relational piecewise-linear overapproximations of multi-dimensional functions

Divided Rectangles global optimization method

Wrapper for the CUDD library for decision diagrams

Library for validated numerics using interval arithmetic

An RL environment made for wildfire evacuation.

Compact representations of multidimensional arrays

A Julia package for solving POMDPs with belief compression. Part of the POMDPs.jl community.

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

Concise and beautiful algorithms written in Julia

Bayesian inference with probabilistic programming.

Julia interface for Gradescope autograding

@tex macro for generating LaTeX PDFs from Julia code with descriptions

Scientific reports/literate programming for Julia

A toolbox for worst-case validation of autonomous policies

Define piecewise uniform densities over hypergrids

21st century AD

Neural Network primitives with multiple backends

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

Efficient Large-Scale Multi-Drone Delivery Using Transit Networks

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

Julia debugger

This library generates graph layouts using the TikZ graph layout package.

Scalable symbolic-numeric set computations in Julia

Methods to soundly verify deep neural networks

Formatted output of timed sections in Julia

The Julia Programming Language

Plots in Julia using the PGFPlots LaTeX package

Bayesian Networks for Julia