Kaa

MaRDI QIDQ1351993swMATHFDO

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)

• Pyhybridanalysis
• Sapo
• Kodiak

This page was built for software: Kaa