Keyword:random walk

Papers
Formalization of Gambler’s Ruin Problem in Isabelle/HOL Zibo Yang EasyChair Preprint no. 6165