HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis

Publication
NASA Formal Methods Symposium