Methods to compute sets of states reachable by dynamical systems

A Julia package for calculus with convex sets

A Julia package to compute Bernstein coefficients of multivariate polynomials

A library of reachability models

Methods to verify neural network control systems using reachability analysis

Systems definitions in Julia

A Julia package to compute Bernstein coefficients of multivariate polynomials

Predicate definitions in Julia