HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Zibo Yang

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

Keyphrases

formal verification, Gambler's Ruin Problem, probability theory, random walk, theorem proving.

Copyright © 2012-2023 easychair.org. All rights reserved.