v0.5.3

ClosedLoopReachability v0.5.3

Diff since v0.5.2

Merged pull requests:

• Use eachindex instead of 1:length (#374) (@schillic)
• Move imports to one place (#375) (@schillic)
• Rename variables to avoid typos warnings (#376) (@schillic)
• Change plotting of VerticalCAS (#377) (@schillic)
• Bump julia-actions/setup-julia from 1 to 2 (#378) (@dependabot[bot])
• Let benchmark functions in models return result string (#379) (@schillic)
• Remove LazySets argument that will be replaced (#380) (@schillic)
• Better options for TMJets (#381) (@schillic)
• Assert that models satisfy specs (#382) (@schillic)
• Change DiffEq argument name (vars -> idxs) (#383) (@schillic)
• Revise plots for models (#384) (@schillic)
• Replace DifferentialEquations by OrdinaryDiffEq (#385) (@schillic)
• ReachabilityAnalysis v0.25 (#386) (@schillic)
• Better plotting of ACC results (#387) (@schillic)
• Fix commented savefig command in models (#388) (@schillic)