A Julia package for calculus with convex sets

Methods to compute sets of states reachable by dynamical systems

Reachability and Safety of Nondeterministic Dynamical Systems

Systems definitions in Julia

Methods to verify neural network controlled systems using reachability analysis

Matrices with interval coefficients in Julia

A Julia package to compute range enclosures of real-valued functions.

A Julia package to compute Bernstein coefficients of multivariate polynomials

SpaceEx modeling language parser

Carleman linearization for dynamical systems

Predicate definitions in Julia