Sapo
From MaRDI portal
Software:35337
No author found.
Related Items (4)
Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems ⋮ Reachability computation for polynomial dynamical systems ⋮ Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems ⋮ Parameter synthesis of polynomial dynamical systems
This page was built for software: Sapo
