97 citations · 159 across the 3 of their papers we have counts for
1 paper · 1 filter
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +2
We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of rea…