NLTOOLBOX : A C++ Library for Reachability Computation of Non-linear Dynamical Systems
Download:
- Library NLToolBox.1.0.zip
- Examples NLToolBox_Examples.zip
Instructions for installation and compilation:
- README.txt
Documentation:
- Main data structures and functions