Cited in
(14)- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
- MARCO
- pyHybrid Analysis
- Pyhybridanalysis
- dReach
- Breach
- HyPro
- ParetoImageSDP
- Sherlock
- Kodiak
- Parameter synthesis of polynomial dynamical systems
- Kaa
- Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
- Reachability computation for polynomial dynamical systems
This page was built for software: Sapo