Abstract: Reachability analysis is a powerful tool to analyze the behavior of dynamical systems. Typically, these tools are used to evaluate whether the dynamics of a system beginning from some ...