search

xhajnal / DiPS

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

Using presampled refinement v 1.0 does not work ... #31

Closed xhajnal closed 4 years ago

xhajnal commented 5 years ago

Creating a hull over sat/unsat points and then trying to refine the rest of the space is actually good idea, but the probability to find a sat/unsat point just behind the border of the created hull is equal to 1 (at least as the size of the area goes to 0 in the limit)

xhajnal commented 5 years ago

To solve this just add one sample point to the hull from each direction :) (the idea is that all the points you are adding like this are of the other colour so you leave the border in the hull and the rest "MUST" be of the other colour)

xhajnal commented 5 years ago

now solved in 5545f33 for uniform(grid) sampling