NLTOOLBOX

swMATH9248MaRDI QIDQ21235FDOQ21235

Author name not available (Why is that?)

Official website: http://www-verimag.imag.fr/~tdang/NLTOOLBOX/

Cited In (7)

• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
• C2e2
• timed-pattern-matching
• MONAA
• NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems
• DaDRA
• Forward inner-approximated reachability of non-linear continuous systems

This page was built for software: NLTOOLBOX