Kaa

swMATH42705MaRDI QIDQ1351993FDOQ1351993

Author name not available (Why is that?)

Official website: https://easychair.org/publications/open/Flp2

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

Described by source

• Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems

Cited In (3)

• Kodiak
• Pyhybridanalysis
• Sapo

This page was built for software: Kaa