STAMINA/PRISM 2.0

Infinite state-space truncator which generates a probability within a window