Kaa

swMATH42705MaRDI QIDQ1351993FDOQ1351993

Author name not available (Why is that?)

Source code repository: https://github.com/Tarheel-Formal-Methods/kaa

Described by source

• Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems

This page was built for software: Kaa