Tarheel-Formal-Methods/kaa
A rewrite of Sapo in Python. Kaa is an experimental tool used to compute the reachable set of polynomial non-linear discrete dynamical systems by leveraging parallelotope bundles and Bernstein polynomials.
PythonMIT
A rewrite of Sapo in Python. Kaa is an experimental tool used to compute the reachable set of polynomial non-linear discrete dynamical systems by leveraging parallelotope bundles and Bernstein polynomials.
PythonMIT