Sapo

MaRDI QIDQ35337swMATHFDO

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

(14)

• Sherlock
• Kodiak
• Kaa
• MARCO
• Parameter synthesis of polynomial dynamical systems
• pyHybrid Analysis
• Pyhybridanalysis
• dReach
• Breach
• ParetoImageSDP
• HyPro
• Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
• Reachability computation for polynomial dynamical systems
• Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems

This page was built for software: Sapo