Presampled refinement - iterating thought presampled space of unknown dimension

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

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

4 stars 1 forks source link

Closed xhajnal closed 3 years ago

xhajnal commented 5 years ago

Enlarging the rectangle in which all points should be True/False is hard when not knowing dimension.

Now implemented only for 2D.

xhajnal commented 5 years ago

Now we use a different approach creating ortogonal hull (which is overapproximation)

xhajnal commented 3 years ago

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