Sapo

swMATH23566MaRDI QIDQ35337FDOQ35337

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=3049797.3049824

Described by source

• Sapo: reachability computation and parameter synthesis of polynomial dynamical systems

Cited In (13)

• Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
• Sherlock
• Kodiak
• pyHybrid Analysis
• Pyhybridanalysis
• dReach
• Breach
• HyPro
• ParetoImageSDP
• 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