HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Zibo Yang

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

Keyphrases

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

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