STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
STAMINA/STORM Documentation