There is a newer version of the record available.

Published December 14, 2019 | Version v0.5.0
Software Open

JuliaReach/Reachability.jl: v0.5.0

Creators

  • 1. IST Austria
  • 2. UdelaR
  • 3. University of Gothenburg, Sweden

Description

  • fixed error with undefined projection_matrix variable in projection (#717)

Files

JuliaReach/Reachability.jl-v0.5.0.zip

Files (128.3 kB)

Name Size Download all
md5:c488e09e59cb20319b099be2d24f3ec9
128.3 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/JuliaReach/Reachability.jl/tree/v0.5.0 (URL)