HitSquare

Paper:

High-Precision Framework for Expected Hitting Times Analysis in the Dice-Sum Process

Program and Input-Output:

Python notebook reproducing Theorem 2