GitHub repository: JuliaReach/RP21_RE
Primary language: Julia
Description: Repeatibility Evaluation for "Reachability of weakly nonlinear systems using Carleman linearization" (RP'21)