You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is not good because the stopping criterion on max jumps now depends on the clustering chosen. I think we should consider all transitions from the same cluster to be in the same jump.
The text was updated successfully, but these errors were encountered:
Currently
count_jumps
in the hybrid solve loop advances by one for each element in the clustering,ReachabilityAnalysis.jl/src/Hybrid/solve.jl
Line 127 in b4f9bef
This is not good because the stopping criterion on max jumps now depends on the clustering chosen. I think we should consider all transitions from the same cluster to be in the same jump.
The text was updated successfully, but these errors were encountered: