Presampled refinement- how to merge possibly (un)safe (hyper)rectangles

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Presampled refinement- how to merge possibly (un)safe (hyper)rectangles #21

Closed xhajnal closed 3 years ago

xhajnal commented 5 years ago

Option 1: - find the largest (hyper)rectangles with no intersection Option 2: - find all (hyper)rectangles - iterate thought do not mark Option 3: - find some (hyper)rectangles - iterate thought mark

pic TBA

xhajnal commented 3 years ago

Now deprecated as a better option of sampling-guided refinement is implemented