search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Revise sparse and dense specializations for BFFPSV18 #687

Open mforets opened 4 years ago

mforets commented 4 years ago

In particular it would be interesting to benchmark the two specializations and see how the code behaves with the new julia versions.