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