search

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

weird white dots in refine() #20

Closed xhajnal closed 4 years ago

xhajnal commented 5 years ago

Using

f = ["x+y"]
intervals = [(15,20)]

The new method has weird results: result = check_deeper([(1,10),(1,10)],f,intervals,14,0.01**2,0.99,False,2) vs. result = check_deeper([(1,10),(1,10)],f,intervals,14,0.01**2,0.99,False,2)

screenshot from 2019-02-22 15-49-46

xhajnal commented 5 years ago

It is probably caused by forwarding the example and counterexample to next refinement, but there should be up to 2n+1 such rectangles (since in each iteration (lowering max_depth) only 2 of those are passed in the branch which is not to be searched in the next iteration and those should be located next to each other and not in such huge volume)

xhajnal commented 4 years ago

solved in 9760e807e551f8c21ff3b2d88550daa30c7fc966