235 citations · 330 across the 12 of their papers we have counts for
1 paper · 1 filter
Tommaso Dreossi
Sapo is a C++ tool for the formal analysis of polynomial dynamical systems. Its main features are: 1) Reachability computation, i.e., the calculation of the set of states reachable…