Sapo

swMATH23566MaRDI QIDQ35337FDOQ35337

Author name not available (Why is that?)

Described by source

• Sapo

Cited In (4)

• Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
• Parameter synthesis of polynomial dynamical systems
• Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
• Reachability computation for polynomial dynamical systems

This page was built for software: Sapo