Issues

• Property verified on larger input box, but may be violated on strict subset [SpacecraftDocking]

  JuliaReach/ClosedLoopReachability.jl#417 · Filter by author HyberionBrew opened on Aug 4, 2025
  3

• Handling of general VCAS model

  enhancement
  JuliaReach/ClosedLoopReachability.jl#280 · Filter by author schillic opened on Dec 8, 2021

• Non-deterministic disturbance

  enhancement
  JuliaReach/ClosedLoopReachability.jl#278 · Filter by author schillic opened on Dec 8, 2021

• Splitting strategies

  enhancement
  JuliaReach/ClosedLoopReachability.jl#277 · Filter by author schillic opened on Dec 8, 2021

• Parallelization

  enhancement
  JuliaReach/ClosedLoopReachability.jl#268 · Filter by author schillic opened on Aug 29, 2021

• Options to convexify/merge sets obtained by splitting

  enhancement
  JuliaReach/ClosedLoopReachability.jl#211 · Filter by author schillic opened on Jun 15, 2021

• Branch-and-prune solver

  enhancement
  JuliaReach/ClosedLoopReachability.jl#130 · Filter by author schillic opened on Apr 25, 2021

• Add exact star-based propagation

  enhancement
  JuliaReach/ClosedLoopReachability.jl#124 · Filter by author mforets opened on Apr 19, 2021