XSpeed

Reachability Analysis Tool for Continuous and Hybrid Systems with Acceleration.

Artifacts for the paper "Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing" (HSCC'19)