Kodiak

swMATH42706MaRDI QIDQ1351990FDOQ1351990

Author name not available (Why is that?)

Source code repository: https://github.com/nasa/Kodiak

Cited In (1)

• Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems

This page was built for software: Kodiak