search

xhajnal / DiPS

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

refiniment of prerefined space - recursion #55

Closed xhajnal closed 4 years ago

xhajnal commented 4 years ago

Instead of creating recursion for each white rectangle one can enque all the white rectangles and run the refinement only once

xhajnal commented 4 years ago

see #58